Hüpoteesi tõeväärtust ei saa leida, sest täisarve on lõpmata palju ning me ei saa kõiki erinevaid võimalusi kontrollida.

Hüpotees on tõene. Kuna iga täisarvu korral võime võtta  ning võrdus on rahuldatud.

Hüpotees on väär. Täisarvu korral ei leidu täisarvu nii, et . Järelikult iga täisarvu jaoks ei leidu täisarvu nii, et ning hüpotees on väär.

Hüpotees on tõene. Kuna korral ning , siis väide kehtib.