Назовите основное свойство алгоритма, которое обеспечивает возможность получения результата после конечного числа шагов: