theorem :: INT_2:16

for a, b being Integer holds
( a divides b iff |.a.| divides |.b.| )