Soient n et m deux multiples de 3. Il existe alors un entier positif k tel que n = 3k et un entier positif k' tel que m = 3k'.
[tex]n \times m = 3k \times 3k' = 3 \times 3 \times k \times k' = 9kk'[/tex]
Le produit de deux multiples de 3 est donc bien un multiple de 9.
