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