How do you prove that -cot2x = (sec^2x-2)/(2tanx ?