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