Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt/Beweis/Aufgabe