Es sei K⊆L{\displaystyle {}K\subseteq L} eine endliche Körpererweiterung, x∈L{\displaystyle {}x\in L} (x≠0{\displaystyle x\neq 0}) und sei P∈K[X]{\displaystyle {}P\in K[X]}