Prove the following identities: cos^3 2x + 3 cos 2x = 4 (cos^6 x – sin^6 x)