Krylov–Bogolyubov theorem — theorem