How do you prove that sin2(x2)=1cos2x2(1+cosx)?