Langkah keempat, kita cek keberadaan nilai x, y, dan z. Dari syarat y kurang dari dua x, kita substitusi nilai x dan y sehingga diperoleh y lebih dari dua z dikurang sepuluh. Dengan memasukkan nilai y, didapat delapan belas z lebih dari seratus tiga puluh empat, yang berarti z lebih dari tujuh koma empat.