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