Kurs:Algebraische Kurven/Endlich erzeugte kommutative Algebren/R noethersch/A über R endlich erzeugt/A endlich über B/B ist endlich erzeugt/Fakt/Faktreferenznummer

Lemma 10.5 (Algebraische Kurven (Osnabrück 2017-2018))