Prouver que, parmi 10 entiers naturels consécutifs, l'un au moins est premier avec chacun des autres.