За конечное число шагов алгоритм должен