Prove the following identities: sin 4x = 4 sin x cos³ x – 4 cos x sin³ x