How do you prove (sec^2 x-1)/sec^2x=sin^2x?