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