Ganze Ringerweiterung/Endlich erzeugt/Endlich/Fakt

Es sei ein ganzer Ringhomomorphismus von endlichem Typ.

Dann ist endlich über .