theorem Th58: :: NEWTON:58

for m, n being Integer st n > 0 holds
n gcd m > 0