How do you prove that # tan(x/2)-cot(x/2) = -2cotx #?