Sei Q ⊆ L {\displaystyle {}\mathbb {Q} \subseteq L} eine endliche Körpererweiterung und z ∈ L {\displaystyle {}z\in L} ein Element. Es seien
die verschiedenen komplexen Einbettungen und es sei M = { z 1 , … , z k } {\displaystyle {}M=\{z_{1},\ldots ,z_{k}\}} die Menge der verschiedenen Werte ρ i ( z ) {\displaystyle {}\rho _{i}(z)} . Zeige, dass dann für das Minimalpolynom G {\displaystyle {}G} von z {\displaystyle {}z} die Gleichung
gilt.