How do you prove #tan² x(1 + cot² x) = sec² x#?