Формально об алгоритмах. Вычислительные модели/Задачи/Теорема о неподвижной точке