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