Dari tutupan, pilih \(a_n\in A\cap B(x,1/n)\text{.}\) Untuk arah balik, setiap lingkungan akhirnya memuat semua suku barisan.