Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung und sei M {\displaystyle {}M} der algebraische Abschluss von K {\displaystyle {}K} in L {\displaystyle {}L} .
Dann ist M {\displaystyle {}M} ein Unterkörper von L {\displaystyle {}L} .
