Tahap 1. Gunakan aksioma irisan berhingga secara langsung; bila aksioma dinyatakan hanya untuk dua himpunan, gunakan induksi.

Tahap 2. Titik \(0\) berada dalam semua \(U_n\text{.}\) Untuk \(x\neq0\text{,}\) pilih \(n\) sehingga \(1/n\lt|x|\text{.}\)

Tahap 3. Uji apakah ada interval terbuka berpusat di \(0\) yang termuat dalam himpunan satu titik.