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