Aufgabe:
m∈ℕ
a∈ℤ
a:= {a+m×k:k∈ℤ}
Am :={0,1,...m-1}
Addition: ⊕: Am×Am→Am, a⊕b:=a+b
Gesucht: (Am,⊕) bildet eine kommutative Gruppe
