Es sei R {\displaystyle {}R} ein kommutativer Ring, a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} ein Ideal und sei V {\displaystyle {}V} ein endlich erzeugter R {\displaystyle {}R} -Modul. Es sei a V = V {\displaystyle {}{\mathfrak {a}}V=V} vorausgesetzt.
Dann gibt es ein f ∈ a {\displaystyle {}f\in {\mathfrak {a}}} derart, dass ( 1 − f ) V = 0 {\displaystyle {}(1-f)V=0} .
