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