How do you prove #cos^2x - sin^2x = 2cos^2x - 1#?