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

Dann ist