Tahap 1. Periksa bahwa serat-serat \(f\) tepat kelas-kelas modulo \(\Z\text{.}\)

Tahap 2. Buktikan \(f\) terbuka secara lokal dengan selang terbuka berpanjang kurang dari \(1\text{.}\)

Tahap 3. Bijeksi kontinu yang terbuka mempunyai invers kontinu.