Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine separable endliche Körpererweiterung vom Grad n {\displaystyle {}n} und sei b 1 , … , b n {\displaystyle {}b_{1},\ldots ,b_{n}} eine K {\displaystyle {}K} -Basis von L {\displaystyle {}L} . Dann ist