How do you prove #cot^2x - cos^2x = cot^2cos^2#?