How do you verify #sin 4x = 4 sin x cos x cos 2x#?