How do you prove # (cos(x/2)-sin(x/2))^2= 1-sinx#?