for m being Integer holds
( 0 gcd m = |.m.| & 1 gcd m = 1 )