Since \(d =gcd(a, b)\), then \(d\) is also the smallest positive linear combination of \(a\) and \(b\) (click here to see why):
Let \(a = dx\) and \(b=dy\) where x, y ∈ ℤ:
This shows that \(gcd(x, y) = 1\), or in other words, \(gcd(a/ d, b/d) = 1\).