Quotient Remainder Theorem

For any integer:
$a$ and any positive integer $b$, there exist unique integers $q$ (the quotient) and $r$ (the remainder) such that:

$a=bq+r$

where

$0\le r<b$.