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