theorem Th1: :: NEWTON05:1

for a, b being Integer st a divides b holds
b / a is integer