2) Pour tout entier naturel :
A. est pair
Si est pair alors est pair.
Si est impair alors est impair donc est pair, puis .
B. est multiple de
Contre-exemple : pour , et n'est pas un multiple de .
C. est multiple de
Le produit de deux entiers consécutifs est multiple de , puisque l'un des entiers est pair.
Le produit de trois entiers consécutifs est multiple de , puisque l'un des entiers est multiple de .
et sont premiers entre eux donc est multiple de .
D. est multiple de
Soit .
D'après la proposition précédente, est multiple de donc est multiple de . De plus, , produit de 4 entiers consécutifs, est multiple de . En effet, l'un des facteurs est multiple de et l'un des trois autres est nécessairement pair.
et étant premiers entre eux, est multiple de .