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