Kanna hvort að til sé jafna í hneppinu sem ekki hafi lausn; eða hvort sé í hneppinu jafna þar sem stuðlarnir við allar breytur eru núll, en þar sem talan hægra megin við samasem-merkið sé ekki núll. Þá sést að hneppið gangi ekki upp og þá er hneppið óleysanlegt.