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