Osnovni izrek o deljenju naravnih števil: Če naravno število $a$ delimo z naravnim številom $b$, dobimo za rezultat dve enolično določeni nenegativni celi števili: količnik $k$ in ostanek $r$. Količnik je vedno nenegativen $k\ge 0$, ostanek pa $0 \le r\lt b$. Zveza med deljencem, deliteljem, količnikom in ostankom je enaka
$$a=k\cdot b+r.$$
Če je ostanek enak $0$, je število $a$ večkratnik števila $b$.
| Delitelj |
Možni ostanki |
| $2$ |
$0,1$ |
| $3$ |
$0,1,2$ |
| $4$ |
$0,1,2,3$ |
Zgled: Število $53$ deli s številom $6$, nato dobljena števila zapiši v obliki zveze iz osnovnega izreka o deljenju.