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