On applique le programme à un nombre x.
On ajoute 6 :
x + 6
On multiplie le résultat par 5 :
5 *(x + 6) = 5x + 30
On retire le nombre de départ (x ici) :
5x + 30 - x = 4x + 30
On soustrait le triple de 10 :
4x + 30 - 3* 10 = 4x.
Or 4x = 2*(2x), donc on a bien que 2 divise le résultat, donc quelque soit le nombre de départ, le résultat de ce programme est pair.
