The Division Theorem: Let a be an integer and d be a positive integer. Then there are unique integers q and r with 0 ≤ r < d such that
d is the divisor,
a is the dividend,
q is the quotient,
r is the remainder.