Tahap 1: karena \(C\) tertutup, \(Y\setminus C\) terbuka. Tahap 2: kekontinuan membuat \(f^{-1}(Y\setminus C)\) terbuka, dan panduan 18 mengidentifikasinya dengan komplemen \(f^{-1}(C)\text{.}\)