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