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