Es seien f , h : U → C {\displaystyle {}f,h\colon U\rightarrow {\mathbb {C} }} , 0 ∈ U ⊆ C n {\displaystyle {}0\in U\subseteq {\mathbb {C} }^{n}} offen, holomorphe Funktionen. Im lokalen Ring O n {\displaystyle {}{\mathcal {O}}_{n}} gelte f ∈ m 3 {\displaystyle {}f\in {\mathfrak {m}}^{3}} und h ∈ J f 2 {\displaystyle {}h\in J_{f}^{2}} .
Dann ist f + h {\displaystyle {}f+h} rechtsäquivalent zu f {\displaystyle {}f} .
