To pa je že točno to, kar pravi osnovni izrek o deljenju. Povejmo ga še splošno.
Naj bosta a in in b naravni števili. Če delimo število a s številom b, dobimo točno določen količnik k in ostanek o.
| a:b = k, ost. o, kar je zapisano z enačbo a = b·k+o. |
|---|
Možni ostanki: 0, 1, 2, 3, ... b–1

