Kurs:Elemente der Algebra (Osnabrück 2015)/Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt/Faktreferenznummer