How do you prove cot(x) - tan(x) = 2cot2(x)cot(x)tan(x)=2cot2(x)?