Es sei φ:R→S{\displaystyle {}\varphi \colon R\rightarrow S} ein ganzer Ringhomomorphismus von endlichem Typ.
Dann ist S{\displaystyle {}S} endlich über R{\displaystyle {}R}.