Divisione all'indietro

[ficus2002]

Siano $a,b in NN$, con $b$ primo con $10$. Per ogni $n in NN$ esistono e sono unici i naturali $q,r in NN$ tali che
$q<10^n$
$10^n|r$
$a+r=b*q$