Satz 19.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 19 Algebra/Körper/Endlicher Typ/Integer/Dimension und Transzendenzgrad/Fakt