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