C'est vrai.
Faisons un raisonnement par l'absurde :
Soient deux nombres a et b, multiples de 3.
a s'écrit donc aussi 3n, avec n un entier naturel, et b s'écrit donc aussi 3m avec m un entier naturel.
a X b = (3n)X(3m)
=3X(3nm)
Donc le produit de a et b est un multiple de 3.
Pour obtenir un multiple de trois, il faut donc que les facteurs multiples soient aussi multiples de 3.
S'ils ne le sont pas, leur produit ne sera pas un multiple de 3 : l'affirmation est vraie
