Tahap 1. Namai tiga kelas sisa sebagai \(C_0,C_1,C_2\text{.}\) Tentukan kelas yang memuat titik istimewa \(1\text{.}\)

Tahap 2. Untuk \(U\) tak kosong di kuosien, uji kapan \(\pi^{-1}(U)\) memuat \(1\text{.}\) Terjemahkan syarat itu kembali menjadi syarat pada \(U\text{.}\)