a = b*q + r and 0 <= r <= b (where b in this case is zero). ##
## a = b*q + r but not r = 0 ##
## d = gcd(0,0).