Montrer que parmis 3 entiers consécutifs l'un au moins est divible par 3.
Soit $a$ le plus petit de ces trois entiers alors les trois entiers sont $a$, $a+1$ et $a+2$
La division euclidienne de $a$ par 3 montre qu'il existe deux entiers $q$ et $r$ tel que $a=3q+r$ et $0\leq r< 3$.
Raisonnons poar disjonction des cas :
alors $a=3q$ et 3 divise $a$
alors $a+2=3q+1+2=3q+3=3(q+1)$ et 3 divise $a+2$
alors $a+1=3q+2+1=3(q+1)$ et 3 divise $a+1$
Ainsi parmis 3 entiers consécutifs l'un au moins est divible par 3.
Compléter par $=$ ou $\Rightarrow$ ou $\Leftrightarrow$