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

Dann ist ${\displaystyle {}U=V}$.