Es sei
ein offenes Kartengebiet mit der Karte
-
Wir können davon ausgehen, dass
der Nullpunkt ist und das
der offene Ball mit Radius
ist. Es sei
-
ein Diffemorphismus, der auf
die Identität ist und der
auf
abbildet. Eine solche Abbildung erhält man, wenn man mit der Funktion
-
mit
-

die Punkte streckt. Dabei kann man das Bild des Diffeomorphismus
, also
, als
-

auffassen, wobei die größere Menge eine Mannigfaltigkeit mit dem Rand
ist. Es sei
die Mannigfaltigkeit, die entsteht, wenn man
durch
ersetzt. Die Sphäre wird dabei zum Rand von
. Den Diffeomorphismus
man man zu einem Diffeomorphismus
-
fortsetzen, da auf dem offenen Übergang

die Identität vorliegt.