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

.