Tahap 1. Gunakan lagi tiga kelas sisa \(C_0,C_1,C_2\text{,}\) dengan \(1\in C_1\text{.}\)

Tahap 2. Prapeta suatu himpunan sejati di kuosien terbuka tepat ketika tidak memuat \(1\text{.}\) Ingat bahwa seluruh ruang tetap terbuka sebagai pengecualian khusus.