Untuk setiap \(\epsilon\gt0\text{,}\) hipotesis menghasilkan \(\delta\gt0\) dengan \(B(a,\delta)\subseteq f^{-1}(B(f(a),\epsilon))\text{.}\) Menurut pencirian bola terbuka, \(f\) kontinu di \(a\text{.}\)