theorem Th11: :: NAT_D:11

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