Формальное использование алгоритма