How do you verify the identity sec^2(pi/2-x)-1=cot^2x?