Докажите, что a ≡ b (mod m) тогда и только тогда, когда a – b делится на m.
Если a ≡ b (mod m) и c ≡ d (mod m), то a + c ≡ b + d (mod m).
Если a ≡ b (mod m) и c ≡ d (mod m), то a – c ≡ b – d (mod m).
Если a ≡ b (mod m) и c ≡ d (mod m), то ac ≡ bd (mod m).
Если a ≡ b (mod m), n – натуральное число, то an ≡ bn (mod m).