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