Determinare le coppie (x, y) di numeri interi per cui è verificata l'equazione x⁴ + x³ + x² + x + 1 = 7(y⁴ + y² + 1)
Il secondo membro è divisibile per 7.
Passando a mod 7 il primo membro, si vede facilmente che esso non è mai congruo a zero (bensì, ciclicamente, a 1, 2, 3, 4 e 5).