Kekompakan \(A\) menghasilkan indeks \(\alpha_1,\ldots,\alpha_n\) sedemikian sehingga \(A\subseteq\bigcup_{i=1}^nf^{-1}(V_{\alpha_i})\text{.}\)