Lemma 13.12
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 13 Kommutative Ringtheorie/K-Spektrum/Produktring/Fakt