Divisibility and greatest common divisor (GCD)