Algebra: Integers (part 2) Division algorithm

Division algorithm. For any integers a and b (b being non-zero), there exist some integers q and r such that a = bq + r with r between 0 (inclusive) and |b| (exclusive).