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