Мы вспомнили необходимые пререквизиты: норменное отображение Като для К-теории Милнора и немного коммутативной алгебры в коразмерности 1.