Proposition 12.8
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 12 Endlich erzeugte K-Algebren/K-Spektren als Funktor/Verschiedene Homomorphismen/Fakt