Krylov–Bogolyubov_theorem loading ...