Es sei K {\displaystyle {}K} ein Körper, A {\displaystyle {}A} ein Integritätsbereich und K ⊆ A {\displaystyle {}K\subseteq A} eine ganze Erweiterung.
Dann ist auch A {\displaystyle {}A} ein Körper.