Beweis

Wir definieren induktiv über zu den Zahlen mit eine Kette von offenen Teilmengen und von abgeschlossenen Teilmengen mit

und mit

für . Wir starten induktiv mit , , und . Es seien die Mengen zum Nenner schon konstruiert. Das heißt, dass zum Nenner die Mengen zu den Indizes mit gerade schon konstruiert sind. Für ungerade liegt die Situation

vor. Aufgrund der Normalität gibt eine offene Menge und eine abgeschlossene Menge mit

wie gewünscht.

Wir definieren jetzt eine Funktion

durch

Dabei besitzt auf den Wert und auf den Wert . Es ist

woraus die Stetigkeit folgt.