How do you prove the identity -sin^2x = 2cosx - 2?