Ratkaisu: Jos yhtälöllä olisi ratkaisu , niin saataisiin kongruenssi

Kuitenkin , , ja modulo 7. Tästä seuraa, että valittiinpa kokonaisluvut ja miten tahansa, niin , missä .