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