theorem Th10: :: NAT_D:10

for h, i, j being natural Number st i divides j & i divides j + h holds
i divides h