Es sei R ein kommutativer Ring und sei f∈R nicht nilpotent.
Dann gibt es ein Primideal 𝔭 in R mit f∉𝔭.
