Panduan 15 membuktikan \(X\setminus f^{-1}(B)\subseteq f^{-1}(Y\setminus B)\text{,}\) sedangkan panduan 17 membuktikan inklusi sebaliknya. Dua himpunan yang saling memuat adalah sama. Jadi prapeta menghormati komplemen: \(X\setminus f^{-1}(B)=f^{-1}(Y\setminus B)\text{.}\)