Es sei

${\displaystyle \varphi \colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n}}$

eine total differenzierbare Abbildung derart, dass es eine reelle Zahl ${\displaystyle {}c\in [0,1[}$ gibt mit

${\displaystyle {}\Vert {\left(D\varphi \right)_{P}}\Vert \leq c\,}$

${\displaystyle {}P\in \mathbb {R} ^{n}}$

${\displaystyle {}\varphi }$