How do I prove that 4sin(62.5˚+x/2)*cos(27.5˚-x/2) is the same as 4sin^2(x/2+62.5˚)?