Algebraische Körpererweiterung/Minimalpolynom ist irreduzibel/Umkehrung/Fakt/Name

Der Satz über das Minimalpolynom und Irreduzibilität bei einer Körpererweiterung ${}K\subseteq L$.