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