theorem Th13: :: INT_6:13

for i being Integer holds
( |.i.| divides i & i divides |.i.| )