En fait, je me suis compliqué la vie pour rien. Il n'y a pas besoin de disserner deux cas ...
Puisqueest 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.
-----