Satz 10.7
Kurs:Algebraische Kurven (Osnabrück 2025-2026)/Vorlesung 10 Hilbertscher Nullstellensatz (algebraisch)/Endlich erzeugte Körpererweiterung ist endlich/Fakt
