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