Es sei G ⊆ R n {\displaystyle {}G\subseteq \mathbb {R} ^{n}} offen und sei
(mit m = n − ℓ ≥ 0 {\displaystyle {}m=n-\ell \geq 0} ) eine stetig differenzierbare Abbildung, die in jedem Punkt der Faser M {\displaystyle {}M} über 0 ∈ R ℓ {\displaystyle {}0\in \mathbb {R} ^{\ell }} regulär sei.
Dann ist die Abbildung
in jedem Punkt P ∈ M {\displaystyle {}P\in M} eine Isomorphie, wodurch eine stetige nullstellenfreie Volumenform auf M {\displaystyle {}M} gegeben ist.