Satz 5.12 Für gilt und
Beweis. (1). Für ist und Für ist und somit denn
(2). Sei beliebig. Aufgrund der Eigenschaft (1) gibt es Elemente so daß Da die Funktion in stetig ist, nimmt sie nach dem Zwischenwertsatz den Wert an. Andererseits kann auch nur einmal angenommen werden, denn ist nach Satz 5.11 (4) streng monoton wachsend.