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