Es sei ${\displaystyle {}\mathbb {Q} \subseteq L}$ eine endliche Körpererweiterung vom Grad ${\displaystyle {}n}$ und es sei ${\displaystyle {}b_{1},\ldots ,b_{n}}$ eine ${\displaystyle {}\mathbb {Q} }$-Basis von ${\displaystyle {}L}$. Es seien ${\displaystyle {}\tau _{j}\colon L\rightarrow \mathbb {C} }$ die ${\displaystyle {}n}$ verschiedenen Einbettungen in ${\displaystyle {}\mathbb {C} }$.

Dann ist