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