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