Es sei K ⊆ L = K ( x ) {\displaystyle {}K\subseteq L=K(x)} eine endliche einfache Körpererweiterung und K ⊆ M ⊆ L {\displaystyle {}K\subseteq M\subseteq L} ein Zwischenkörper. Es sei G = ∑ j = 0 k b j X j ∈ M [ X ] {\displaystyle {}G=\sum _{j=0}^{k}b_{j}X^{j}\in M[X]} das Minimalpolynom von x {\displaystyle {}x} über M {\displaystyle {}M} .
Dann ist M = K ( b 0 , … , b k ) {\displaystyle {}M=K(b_{0},\ldots ,b_{k})} .
![{\displaystyle {}G=\sum _{j=0}^{k}b_{j}X^{j}\in M[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fb2a1fabe18271e5fefaa91fad03e0a17ad6017)
