Prove the following identities: cos 4x = 1 – 8 cos^2 x + 8 cos^4 x