salut et bon week end!

je revoit les congruences et j'essaye de demontrer que pour m un entier superieur a 0 et pour a , a' , on a :

a a'(m) ssi  a et a' on te mm reste dans la division euclidienne par m..

pour , cest OK
par contre je bloc sur ..

soit a a'(m) , ie a - a' = l.m avec l .
Soit a = k.m + r ou k,  0 r m-1 , la divi eucli  de a par m
et soit a' = k'.m + r' ou k', 0 r' m-1 , la divi eucli  de a' par m

on a : a - a' = (k.m + r)-(k'.m + r') = l.m
= m.(k-k') + (r-r') = l.m

et a partir de la que doit je utiliser pour dire que r-r' est divisible par m car je crois que cest cela que je doit montrer...

merci!!