Explications étape par étape:
on pose a et b deux entiers naturels
~ona a est pair donc il existe k€N tel que a=2k
ona b est pair donc il existe k€N tel que b=2k
on a a+b=2k+2k
donc =2(k+k)
d'où =2k'/k'=k+k€N
alors alors le produit de deux entiers naturels pair est pair
