Korollar 19.6
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 19 Algebra/Körper/Primideal/Dimension plus Höhe/Integer/Gleichlange Ketten/Fakt