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