How do you use the trig identity cos2x = cos^2 x - sin^2 x to verify that cos 2x = 2 cos^2 x -1?