En fait, je me suis compliqué la vie pour rien. Il n'y a pas besoin de disserner deux cas ...
Puisque est pair pour tout , alors il ne peut être de la forme . Par conséquent, le grand théorème de Fermat affirme l'existence pour tout , d'entiers naturels et vérifiant :
Ceci étant : , comme convenu.
NB : En fait, il n'y a pas besoin de poser la contrainte "p premier" : cela, si ma démo est correcte, fonctionne pour tout entier naturel p.
-----