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