Es sei
und
mit
-
bei einem leeren Durchschnitt ist die Aussage trivial
(die äußeren Grenzen könnten auch dazugehören).
Es sei
derart, dass
-
ist. Wir definieren
-
und
-
Diese Funktionen sind stetig, da die Werte an den Übergängen übereinstimmen. Es ist für
und außerhalb dieses Intervalls gilt diese Gleichung ebenfalls.