Tahap 1. Misalkan \(f:X\to Y\) suatu homeomorfisme.

Tahap 2. Ambil sebarang himpunan terbuka \(V\) dalam \(Y\) dan periksa \(f^{-1}(V)\text{.}\)

Tahap 3. Gunakan bahwa satu-satunya himpunan terbuka dalam \(X\) adalah \(\emptyset\) dan \(X\text{.}\)