How do you verify the identity cot (theta-pi/2)=-tan theta?