How do you prove (tanx-cotx)/(sinxcosx)=sec^2(x)-csc^2(x)?