Satz 12.5
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 12 Endlich erzeugte K-Algebren/K-Spektrum/Isomorph zu Einbettung/Fakt