Gunakan Tychonoff dan pemisahan koordinat. Untuk menolak basis lokal terhitung di titik nol ketika \(I\) takterhitung, gabungkan semua koordinat yang dibatasi oleh anggota basis yang diduga, lalu pilih satu koordinat di luar gabungan terhitung itu.