Soit un nombre entier n différent de 0. Son multiple par 9 va s'écrire 9*n. Or 9n/3=3n. Donc un nombre divisible par 9 l'est aussi par 3.
Mais inversement: 3n/9=1/3 n => un nombre divisible par 3 ne l'est pas forcément par 9.
C'est logique: 9 est un multiple de 3, mais pas 3 de 9.