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