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