Лекция 12. С.Л. Кузнецов. Неразрешимость задачи о сильной нормализуемости (продолжение)