Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung, x ∈ L {\displaystyle {}x\in L} , F ∈ K [ X ] {\displaystyle {}F\in K[X]} ein Polynom mit F ( x ) = 0 {\displaystyle {}F(x)=0} und sei φ ∈ Gal ( L | K ) {\displaystyle {}\varphi \in \operatorname {Gal} \,(L{|}K)} .
Dann ist auch F ( φ ( x ) ) = 0 {\displaystyle {}F(\varphi (x))=0} .
![{\displaystyle {}F\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50220ae49fd4c5cc329970fc12b301c78efa889b)
