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