Prapeta selimut buka sebarang bagi \(f(A)\) adalah selimut buka bagi \(A\text{.}\) Subselimut berhingga prapeta yang diberikan oleh kekompakan \(A\) menentukan subselimut berhingga dari selimut semula bagi \(f(A)\text{.}\) Jadi \(f(A)\) kompak.