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