Lemma 23.2
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 23 Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt