Beweis

Wir betrachten zum Nachweis der Existenz die erststufige Aussage

die als einzige freie Variable besitzt. Für ist die Aussage mit und

richtig. Zum Beweis des Induktionsschritts sei

mit den angegebenen Eigenschaften. Daher ist

Wenn kleiner als ist, so erfüllen die geforderten Eigenschaften. Bei muss nach Aufgabe gelten. Dann ist

so dass und das Geforderte leisten. Für die Eindeutigkeit siehe Aufgabe.