| Rappel de l'énoncé |
On suppose qu'il existe des entiers naturels x, y et z tels que
.
.
est donc un nombre pair. 57 étant impair, 7y doit être impair. La seule possibilité est alors que y soit impair.
Il existe donc un entier p tel que
et comme y est positif, p est un entier naturel.