How to prove #sin(4x) = 8 (cos^3)x sin x − 4 cos x sin x#?