Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein endlich erzeugter R {\displaystyle {}R} -Modul. Es sei p ∈ Spek ( R ) {\displaystyle {}{\mathfrak {p}}\in \operatorname {Spek} {\left(R\right)}} ein Primideal mit M p = 0 {\displaystyle {}M_{\mathfrak {p}}=0} . Zeige, dass es ein f ∉ p {\displaystyle {}f\notin {\mathfrak {p}}} gibt mit
.