Es sei R {\displaystyle {}R} ein kommutativer Ring, m ⊆ R {\displaystyle {}{\mathfrak {m}}\subseteq R} ein maximales Ideal und f ∉ m {\displaystyle {}f\notin {\mathfrak {m}}} . Dann ist zu jedem n ∈ N {\displaystyle {}n\in \mathbb {N} } die Restklasse von f {\displaystyle {}f} in R / m n {\displaystyle {}R/{\mathfrak {m}}^{n}} eine
