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