Twierdzenie o dzieleniu z resztą

Dla liczb całkowitych $a$ i $b\ne 0$ istnieje dokładnie jedna para liczb całkowitych $q$ i $r$, dla której zachodzi:

$a=b\cdot q+r$

gdzie $0\le r<\left|b\right|$.

Liczba $q$ jest ilorazem, a liczba $r$ – resztą z dzielenia.