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