theorem Th4: :: NUMBER14:4

for i, j being Integer holds
( i divides j iff i divides |.j.| )