Лекция 12. С.Л.Кузнецов. Циклические выводы для алгебр Клини, с делениями и без