Pour savoir si un nombre quelconque est divisible par 9, il suffit de sommer tous ses chiffres et de vérifier que le résultat est lui-même divisible par 9. Ici, c'est bien le cas.
7 + 0 + 0 + 2 = 9 et 9 est divisible par... 9 !
Donc 7002 est divisible par 9.
Le critère arithmétique est très simple à utiliser, sa preuve est très difficile à démontrer !
