Endliche Körpererweiterung/Diskriminante/Separabel/Nicht null bei Basis/Fakt

Es sei eine separable endliche Körpererweiterung vom Grad und sei eine -Basis von .

Dann ist