Es sei ${\displaystyle {}R}$ ein kommutativer Ring, und

${\displaystyle 0\longrightarrow M\longrightarrow N\longrightarrow P\longrightarrow 0}$

eine kurze exakte Sequenz von ${\displaystyle {}R}$-Moduln. Es sei ${\displaystyle {}f\in R}$ ein Nichtnullteiler für ${\displaystyle {}P}$.

Dann ist die Sequenz

ebenfalls exakt.