How do you prove -tan^2x+sec^2x=sec^2xcos^2x?