Prove the following: 24. cos 4x = 1 – 8sin^2 x cos^2 x