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