On a : N = n^3-n+2
N = n^3-n+1+1
N = n^3+1-n+1
N = (n^3-1)-(n-1)
N = (n-1)(n²+n+1)-(n-1)
N = (n-1)(n²+n+1-1)
N = (n-1)(n²+n)
N = (n-1)n(n+1)
(n-1)n(n+1) est le produit de trois nombres entiers naturels consécutifs.
Alors (n-1)n(n+1) est un multiple de 6.
Et comme 6 est un nombre pair, alors (n-1)n(n+1) est aussi pair.
Ce qui finit la démonstration.