Tahap 1. Mulai dengan selimut buka sebarang \(\{V_\alpha\}\) bagi \(f(A)\text{.}\)

Tahap 2. Tarik selimut itu melalui \(f^{-1}\) dan gunakan kekompakan \(A\) untuk memilih prapeta berhingga.

Tahap 3. Jika \(y\in f(A)\text{,}\) tulis \(y=f(a)\) dan gunakan keanggotaan \(a\) dalam salah satu prapeta terpilih.