How do you prove tan(theta)/cot(theta)=tan^2(theta)?