algorithmic deduction

Алгоритмический вывод