How do you prove #(1-\cos^2 x)(1+\cot^2 x) = 1#?