il suffit de décomposer:
3u congru à 0 (mod3)
+13v congru à 1 (mod3)
+23w congru à -1 (mod3)
-----------------------------------
3u+13v+23w congru à 0 (mod3)
d'autre part, tu as 13 congru à 1 (mod3) => en multipliant par v tu as 13v congru à v (mod3)
23 congru à -1 (mod3) => 23w congru à -w (mod3)
(3u est toujours congru à 0 (mod3))
et tu obtiens: 3u+13v+23w congru à 0+v-w (mod3)
enfin, d'après [1] et [2] v-w congru à 0 (mod3), d'où le résultat
(car l'addition et la multiplication sont compatibles avec la relation de congruence)
(je veux bien la liste aussi, mais ce n'est pas vraiment important, fixez-vous des priorités...)