If gcd(a,b)=d\gcd(a, b) = dgcd(a,b)=d, which statement below is logically EQUIVALENT to the definition of gcd\gcdgcd?
ddd divides both aaa and bbb, and ddd is the largest such divisor
d=∣ax+by∣d = |ax + by|d=∣ax+by∣ for some integers x,yx, yx,y
There exist integers x,yx, yx,y such that d=ax+byd = ax + byd=ax+by and ddd divides both aaa and bbb
ddd is odd and ddd divides both aaa and bbb