Montrer que la différence d'un multiple de 6 et d'un multiple de 2 est un nombre pair

on va procéder à une démonstration:
soit a et b deux nombres entiers.
soit a est un multiple de 6, alors il existe l’entier K tel que a = 6K
soit b un multiple de 2, alors il existe l’entier K tel que b = 2K
a - b = 6K - 2K = 4K, soit 2(3K-K). grand K entier = (3K-K) soit 2K.
Donc la différence d’un multiple de 6 et d’un multiple de 2 est bel et bien un nombre pair