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