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