Lemma 16.3
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 16 Endliche Körpererweiterung/Diskriminante/Separabel/Nicht null bei Basis/Fakt