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