How do you show that #1+tan^2 theta = sec ^2 theta#?