Prove the following: 25. cos 6x = 32 cos^6 x – 48cos^4 x + 18 cos^2 x – 1