Es sei G ⊆ R n {\displaystyle {}G\subseteq \mathbb {R} ^{n}} offen,
stetig differenzierbare Funktion, P ∈ G {\displaystyle {}P\in G} ein Punkt und ϵ > 0 {\displaystyle {}\epsilon >0} derart, dass U ( P , ϵ ) ⊆ G {\displaystyle {}U{\left(P,\epsilon \right)}\subseteq G} ist.
Dann gilt für alle v {\displaystyle {}v} mit P + v ∈ U ( P , ϵ ) {\displaystyle {}P+v\in U{\left(P,\epsilon \right)}} die Beziehung
wobei
ist.