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