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