Es sei R {\displaystyle {}R} ein kommutativer Ring und sei f ∈ R {\displaystyle {}f\in R} ein Nichtnullteiler.
Dann folgt aus einer Gleichung
dass x = y {\displaystyle {}x=y} sein muss.
