Prove that: 5. sin x + sin 3x + sin 5x + sin 7x = 4 cos x cos 2x sin 4x