mat mat: Czy (a mod b)−(c mod b)=(a−c) mod b ?

Mila: Tak. 26=5 (mod7) 18=4 (mod7) (26−18)=8=1(mod7) to nie jest dowód, tylko przykład.

mat: Ale a i c musza byc nieujemne prawda? Dla ujemnych a, c to nie bedzie prawdziwe.

mat: ?

Pytający: Jeśli 0≤(x mod y)<y, to: (a mod b)−(c mod b)≡(a−c) mod b Przystawanie zachodzi zawsze, a równość jedynie dla (a mod b)≥(c mod b). (2 mod 5)−(3 mod 5)=−1≠4=((2−3) mod 5)