bjr
choisir un naturel n
ajouter 4 n + 4
multiplier par 3 3(n + 4)
ajouter le double de n 3(n + 4) + 2n
ajouter 3 3(n + 4) + 2n + 3
3(n + 4) + 2n + 3 = 3n + 12 + 2n + 3
= 5n + 15
= 5n + 5 x 3 on met 5 en facteur
= 5(n + 3)
le résultat est le produit de 5 par le naturel (n + 3)
quelle que soit la valeur de n
5(n + 3) un multiple de 5
