theorem Th8: :: NAT_D:8

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