theorem Th5: :: NAT_D:5

for i, j being natural Number st i divides j & j divides i holds
i = j