How do you prove #(cotx-1)/(cotx+1) = (1-tanx)/(1+tanx)#?