a = b*q + r
but not
r = 0