Category:Mean Ergodic Theorem