Es sei ϵ > 0 {\displaystyle {}\epsilon >0} vorgegeben. Aufgrund der gleichmäßigen Konvergenz gibt es ein n 0 {\displaystyle {}n_{0}} mit d ( f n ( y ) , f ( y ) ) ≤ ϵ / 3 {\displaystyle {}d{\left(f_{n}(y),f(y)\right)}\leq \epsilon /3} für alle n ≥ n 0 {\displaystyle {}n\geq n_{0}} und alle y ∈ T {\displaystyle {}y\in T} . Wegen der gleichmäßigen Stetigkeit von f n 0 {\displaystyle {}f_{n_{0}}} gibt es ein δ > 0 {\displaystyle {}\delta >0} mit d ( f n 0 ( x ) , f n 0 ( y ) ) ≤ ϵ / 3 {\displaystyle {}d{\left(f_{n_{0}}(x),f_{n_{0}}(y)\right)}\leq \epsilon /3} für alle x , y ∈ T {\displaystyle {}x,y\in T} mit d ( x , y ) ≤ δ {\displaystyle {}d{\left(x,y\right)}\leq \delta } . Für diese x , y {\displaystyle {}x,y} gilt somit