The connection between Theorem REF  and Lemma REF  is made through the following variation of Furstenberg's correspondence principle [1]}. Our proof is simply the construction done in [2]}, together with a fragment of the proof of [3]} which shows that choosing an extreme invariant mean in that construction results in an ergodic system.
