How do you verify #tan(x/2) - cot (x/2) = -2 cot x#?