How do you verify sin^2 ( x/2) = (cscx-cotx)/(2cscx)?