Tahap 1. Setiap kelas ekuivalensi adalah penampang vertikal cakram pada satu nilai koordinat pertama. Gunakan proyeksi \(P(s,t)=s\text{.}\)

Tahap 2. Identifikasi citra proyeksi, lalu gunakan teorema bahwa surjeksi kontinu dari ruang kompak ke ruang Hausdorff merupakan pemetaan kuosien.