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