Tahap 1: panduan 14 memberi \(f(x)\in Y\setminus B\text{.}\) Tahap 2: terjemahkan kembali pernyataan itu menjadi keanggotaan \(x\) dalam suatu prapeta.