Def/Division with remainder

 =Proof=

Now, we can generalize to the case when $a,b \in \ZZ$, as follows: