Division mit Rest

Lemma

Seien $a,b\in \mathbb{Z}$ und $b\ne 0$. Dann gibt es eindeutig bestimmte $q,r\in \mathbb{Z}$ mit $0\le r<|b|$ für die gilt:
$a=qb+r$

Kongruent