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