How do you prove #cos2A = 2cos^2 A - 1#?