Tahap 1: arah maju telah dimulai dari \(f\) kontinu. Tahap 2: untuk arah balik, gunakan pencirian: prapeta setiap lingkungan bagi \(f(a)\) harus menjadi lingkungan bagi \(a\text{.}\)