Es sei φ:V→W{\displaystyle {}\varphi \colon V\rightarrow W} eine total differenzierbare Abbildung mit (Dφ)P=0{\displaystyle {}\left(D\varphi \right)_{P}=0} für alle P∈V{\displaystyle {}P\in V}.