Dengan \(\delta=\delta_2\text{,}\) berlaku \(d_X(x,a)<\delta\) mengakibatkan \(d_Z(g(f(x)),g(f(a)))<\epsilon\text{.}\) Jadi \(g\circ f\) kontinu.