Es sei
eine kompakte Teilmenge. Wir wollen zeigen, daß
gleichmäßig auf
.
Es sei
Es gilt für alle
Der letzte Term konvergiert auf
gleichmäßig gegen
, da er von
unabhängig ist. Da außerdem die Reihe
auf
gleichmäßig gegen die Exponentialfunktion konvergiert, folgt die Behauptung.