Die Funktion
-
läuft an den beiden Grenzen gegen unendlich, der Graph zu ist diffeomorph zu und damit auch zu . Wir betrachten nun zu
die entsprechende Funktion, deren Definitonsbereich um verschoben wird
(also mit dem Definitionsbereich ).
Es sei der zugehörige Graph und der zugehörige offene
(!)
Epigraph. Wir setzen
-
Diese ist eine zusammenhängende Mannigfaltigkeit mit Rand und der Rand ist die disjunkte Vereinigung der
.