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