Es seien R ein Ring, M ein R-Modul und U ein Untermodul von M.
Zu zeigen:
Sind U und M/U endlich erzeugte R-Moduln, dann ist auch M ein endlich
erzeugter R-Modul.