2:
Commençons par le cas p premier différent de 2.
On doit avoir (x - y)(x + y)= p , mais p étant premier, un des deux facteurs est 1 et l'autre p. Comme x et y sont des entiers naturels, on doit donc avoir:
Si p=2, il n'existe pas d'entiers naturels x et y tels que x2-y2 = 2.