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