4. (10 pts) Prove that a distribution 0' over the outcomes 31 X 52 x X 3;; of a cost minimization game is a correlated equilibrium if and only if for every agent 1' and any swapping function 6 : Si > 53;, it holds that: ew [62(8)] S 42\