Es sei ( R , m ) {\displaystyle {}(R,{\mathfrak {m}})} ein lokaler Ring und sei V {\displaystyle {}V} ein endlich erzeugter R {\displaystyle {}R} -Modul und U ⊆ V {\displaystyle {}U\subseteq V} ein Untermodul. Es gelte U + m V = V {\displaystyle {}U+{\mathfrak {m}}V=V} .
Dann ist U = V {\displaystyle {}U=V} .
