Теорема Дуба об остановке