How do you verify the identity cot(θπ2)=tanθ?