18.2. Tétel
Egész számok maradékos osztása egyértelmű
Tetszőleges a és b\neq 0 egész számokhoz pontosan egy olyan k hányados és r maradék létezik, melyekre teljesülnek az alábbiak:
\begin{aligned}
a&=k\cdot b + r\\
0&\leq r\lt |b|
\end{aligned}
♣