Lemma 10.6
Kurs:Algebraische Kurven (Osnabrück 2025-2026)/Vorlesung 10 Endlich erzeugte kommutative Algebren/Rationaler Funktionenkörper ist nicht endlich erzeugt/Fakt
