Gravar-mail: Proof of the Ergodic Theorem