un nombre pair est divisible par 2 et s'écrit 2n où n est un naturel
soit un premier nombre pair : 2n
soit un second nombre pair : 2n'
leur somme 2n + 2n' est égale à 2(n + n'), c'est -à-rire au produit de 2 par le naturel (n + n). C'est par définition un nombre pair.
