Lemma 12.3
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 12 Endlich erzeugte K-Algebren/K-Spektrum/Isomorph zu Einbettung/Fakt