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