Pasangan \((x_1,x_2)\) berada dalam prapeta tepat ketika \(x_1\in O_1\text{,}\) sedangkan \(x_2\) boleh sembarang. Ini persis definisi \(O_1\times X_2\text{.}\) Rubrik: kesetaraan harus dibuktikan dua arah melalui keanggotaan.