L’unique nombre premier pair est 2 ; les autres sont donc nécessairement impairs.

Soit p un nombre premier supérieur ou égal à 3 : p + 1 est nécessairement pair, donc divisible par 2, autrement dit non premier.