Siano $a$ e $b$ due numeri naturali $\N$ non nulli e $b \leq a$.
Allora esistono sempre due numeri naturali $\N$ chiamati: $q$ quoziente , $r$ resto; tali che:
$$ a= bq + r $$
$$ r \in [0,b] $$
TODO