Tahap 1. Mulailah dengan selimut buka \(\{V_i\}\) bagi \(f(X)\text{.}\)

Tahap 2. Tarik setiap \(V_i\) kembali melalui pemetaan \(f:X\to f(X)\text{.}\)

Tahap 3. Untuk invarian topologi, terapkan hasil tersebut pada suatu homeomorfisme.