theorem Th2: :: INT_5:2

for i, a, b being Integer st i divides a & i divides a - b holds
i divides b