Es sei K⊆L{\displaystyle {}K\subseteq L} eine endliche Körpererweiterung.
Dann existiert die normale Hülle L⊆N{\displaystyle {}L\subseteq N}.