Es sei
-
es werden also aus dem die auf der -Achse platzierten positiven natürlichen Zahlen herausgenommen. Dies ist eine offene Teilmenge im und damit eine differenzierbare Mannigfaltigkeit. Diese ist wegzusammenhängend, da man beispielsweise jeden Punkt aus mit durch einen geraden Weg mit und jeden Punkt aus mit durch einen geraden Weg mit verbinden kann und diese beiden Punkte ebenfalls gerade verbindbar sind. Es sei nun
-
und
-
Die Abbildung
-
ist
(als Verschiebung)
ein Diffeomorphismus und das Bild von ist genau . Daher sind
und
zueinander diffeomorph.