Es seien a,b,c,d ∈ ℝ und m ∈ ℤ. Wir sagen a ist kongruent b modulo m, wenn a-b ein ganzzahliges Vielfaches von m ist. Schreibweise: a ≡ bis m.
Beweisen Sie die folgenden Aussagen:
a) a ≡ 0 mod 1 ⇔ a ∈ ℤ
b) [a ≡ b mod m] ∧ [c ≡ d mod m] ⇒ a+c ≡ b+d mod m
c) [a ≡ b mod m] ∧ [c ≡ 0 mod 1] ⇒ a*c ≡ b*c mod m
d) [a ≡ b mod m] ∧ [b ≡ c mod m] ⇒ a ≡ c mod m