Die Abbildung ist bijektiv mit der Umkehrabbildung
-
Die Jacobi-Matrix ist
-
mit der Jacobi-Determinante
-
Für die Punkte mit liegt also kein lokaler Diffeomorphismus vor und für die Punkte mit liegt ein Diffeomorphismus auf das Bild vor. Auf ist also die
Transformationsformel
anwendbar. Die Ausnahmemenge hat den Flächeninhalt und das gilt nach
Fakt
auch für das Bild davon. Daher kann man die Transformationsformel anwenden und nach
Fubini
ist somit
-