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ä .