theorem :: NAT_D:4

for h, i, j being natural Number st i divides j & j divides h holds
i divides h by INT_2:9;