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