Proposition: For every x in R and y in R, we have
y > 0 => (0 <= x mod y < y), y < 0 => (0 >= x mod y > y).