How do you prove that cot^2x * sec^2x = csc^2x?