Proyeksi \(P:D^2\to[-1,1]\text{,}\) \(P(s,t)=s\text{,}\) kontinu dan surjektif. Dua titik mempunyai citra yang sama tepat ketika koordinat pertamanya sama, sehingga serat-serat \(P\) tepat kelas-kelas \(\sim\text{.}\)

Cakram \(D^2\) kompak dan selang \([-1,1]\) Hausdorff. Karena itu surjeksi kontinu \(P\) adalah pemetaan tertutup, dan setiap surjeksi kontinu yang tertutup merupakan pemetaan kuosien. Peta \(P\) menurunkan bijeksi \(\overline P:D^2/\ssim\to[-1,1]\text{.}\) Karena \(P\) dan proyeksi kanonik sama-sama pemetaan kuosien, bijeksi terinduksi ini adalah homeomorfisme. Jadi penciutan setiap penampang vertikal menyisakan tepat koordinat \(s\text{.}\)