The most plausible operatorial generalization of result of preceding paragraph is known as the "mean ergodic theorem for unitary operators. ""