en va utiliser le raisonnement par absurde
supposons que 8p²+1 est un nombre entier alors:8p²+1 n'est pas devisible par 3
et puisque p est un entier alors: le reste de la division euclidienne de p sur 3 est 1 ou -1
et par suite :le reste de la division euclidienne de p² sur 3 est 1
et donc : le reste de la division euclidienne de 8p² sur 3 est 8
alors: le reste de la division euclidienne de 8p²+1 sur 3 égale à 0
donc : 8p²+1 est divisible par 3 quelque soit le nombre entier p
ce qui est absurde
enfin on a :8p²+1 n'est pas un entier