Satz 19.4
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 19 Algebra/Körper/Endlicher Typ/Integer/Gleichlange Ketten/Fakt