How do you verify the identity. tan x + pi/2= -cot x?