Tahap 1: untuk setiap \(a\in O_A\text{,}\) panduan sebelumnya menghasilkan \(\delta_a\gt0\) dengan \(B_A(a,\delta_a)\subseteq O_A\text{.}\) Tahap 2: cocokkan pernyataan ini dengan definisi himpunan terbuka di ruang metrik \(A\text{.}\)