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