Es sei K {\displaystyle {}K} ein Körper, F ∈ K [ X ] {\displaystyle {}F\in K[X]} ein Polynom und L = Z ( F ) {\displaystyle {}L=Z(F)} der Zerfällungskörper von F {\displaystyle {}F} .
Dann ist K ⊆ L {\displaystyle {}K\subseteq L} eine endliche Körpererweiterung.