Prove or disprove the following: If a,b are nonzero integers with gcd(a,b) = d, then there exist integers m and n such that am+bn=d.
Smallest positive element of $ \{ax + by: x,y \in \mathbb{Z}\}$ is $\gcd(a,b)$