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