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