Divisão em N(naturais)

a -> dividendo
b -> divisor
r -> resto
q -> quociente

1)Divisor ≠ 0 (b ≠ 0)
2)Resto < divisor (r < b)
3) Maior resto = b - 1
4) a = bq + r