How do you prove 1+tanx1+cotx=tanx?