gcd(a b) = d iff gcd(a