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