Es sei G ⊆ R n {\displaystyle {}G\subseteq \mathbb {R} ^{n}} offen,
stetig differenzierbare Funktion, P ∈ G {\displaystyle {}P\in G} ein Punkt und v ∈ R n {\displaystyle {}v\in \mathbb {R} ^{n}} derart, dass die Strecke von P {\displaystyle {}P} nach P + v {\displaystyle {}P+v} ganz in G {\displaystyle {}G} liegt. Dann gibt es ein c ∈ [ 0 , 1 ] {\displaystyle {}c\in [0,1]} mit