bjr
donc n² = (2p + 1)² = (2p)² + 2 x 2p x 1 + 1 =
4p² + 4p + 1 =
2(2p² + 2p) + 1 =
2 x p' + 1
où p' = 2p² + 2p
n² est donc égal au produit par 2 de l'entier p', augmenté de 1
c'est un impair
