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