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