Dowker's ergodic theorem by the Chacon–Ornstein theorem. - Lin, M. (Analysis Mathematica, 2024)