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