Prove that #(tanx-cotx)/(tanx+cotx)=1-2cos^2x#?