theorem Th8: :: WSIERP_1:8

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