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