Prove that: 4. (cos x – cos y)^2 + (sin x – sin y)^2 = 4 sin^2 x – y/2