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. Es sei
durch
definiert. In den lokalen Ringen O P {\displaystyle {}{\mathcal {O}}_{P}} zu den Punkten P = ( s , 0 ) ∈ [ 0 , 1 ] × C n ⊆ C n + 1 {\displaystyle {}P=(s,0)\in [0,1]\times {\mathbb {C} }^{n}\subseteq {\mathbb {C} }^{n+1}} gelte
Dann ist f + h {\displaystyle {}f+h} rechtsäquivalent zu f {\displaystyle {}f} .