theorem Th8: :: NUMBER02:8

(- 1) div 3 = - 1