mit ganzen Zahlen c, r und 0 ≤ r b führt, eine Division von a durch b mit Rest r. Durch die Forderungen c, r ∈ ℤ und 0 ≤ r ≤ b sind c und r eindeutig festgelegt. Die Division mit Rest ist die ...