theorem :: NEWTON06:35

for a, b being Integer holds a div b = (- a) div (- b)