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