Text this: Dowker's ergodic theorem by the Chacon–Ornstein theorem.