Tahap 1: dari \(B(f(a),\epsilon)\subseteq N\text{,}\) ambil prapeta kedua ruas. Tahap 2: setiap himpunan yang memuat suatu lingkungan bagi \(a\) juga merupakan lingkungan bagi \(a\text{.}\)