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