В.И. Богачев. Эргодическая теорема в форме Козлова–Трещева