Prove that: sin (4π/9 + 7) cos (π/9 + 7) – cos (4π/9 + 7) sin (π/9 + 7) = √3/2