Es sei K {\displaystyle {}K} ein Körper und sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung, die (als K {\displaystyle {}K} -Algebra) endlich erzeugt sei. Dann ist L {\displaystyle {}L} endlich über K {\displaystyle {}K} .