theorem Th46: :: INT_1:48

for i being Integer holds i div 0 = 0