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