How do you verify the identity #cotx- pi/2 = -tan x#?