bjr

« si n est un entier naturel non premier, alors son plus petit diviseur positif p différent de 1 est un nombre premier »

hypothèses :                                                         conclusion

n est un naturel non premier                              p est premier

p est son plus petit diviseur

démonstration

supposons que p ne soit pas premier, alors il admet un diviseur p'

il existerait un naturel k tel que p = kp'   (p' < p)

p' diviseur de p serait aussi diviseur de n, et p ne serait pas le plus petit diviseur de n, ce qui est en contradiction avec l'hypothèse.

p n'admet pas de diviseur plus petit que lui (autre que 1)

p est premier