How do you prove #sin 4 x = 4 sin x cos x – 8sin^3 x cos x#?