How do you prove Trig Identity 1+tan^2 (x) = sec^2 (x)?