Tahap 1: hipotesis berarti \(x\notin f^{-1}(B)\text{.}\) Tahap 2: ubah pernyataan itu menjadi pernyataan tentang apakah \(f(x)\) termasuk \(B\text{.}\)