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