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