Prove the following: 13. cos^2 2x – cos^2 6x = sin 4x sin 8x