Es sei ( R , m ) {\displaystyle {}(R,{\mathfrak {m}})} ein lokaler Ring und sei V {\displaystyle {}V} ein endlich erzeugter R {\displaystyle {}R} -Modul. Es sei m V = V {\displaystyle {}{\mathfrak {m}}V=V} vorausgesetzt. Dann ist V = 0 {\displaystyle {}V=0} .