How do you prove the identity sin x = 1 - 2 cos² x?