Prove that: cos x cos x/2 – cos 3x cos 9x/2 = sin 7x sin 8x.