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