Tahap 1: jika \(O\) terbuka, maka \(C=Y\setminus O\) tertutup. Tahap 2: hipotesis dan panduan 18 menunjukkan bahwa \(X\setminus f^{-1}(O)\) tertutup; ambil komplemennya.