How do you prove cos (-x)+cos (pi-x) = cos (pi+x) + cosx?