Sekarang kita mencari pasangan p dan q yang merupakan anggota himpunan minus satu, nol, satu, dua, dan tiga. Dari persamaan p sama dengan tiga kurang tiga q, kita coba substitusi nilai q. Jika q sama dengan nol maka p sama dengan tiga, ini valid. Jika q sama dengan satu maka p sama dengan nol, ini juga valid. Sedangkan nilai q lainnya menghasilkan p di luar himpunan.