donc soit . De même d'où soit ou .
D'où est divisible par 3 c'est-à-dire qu'il existe q entier non nul tel que .
donc 
soit 
. De même 
d'où 
soit 
ou 
.
est divisible par 3 c'est-à-dire qu'il existe q entier non nul tel que 
.