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