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