If d = gcd(a, b),
then a/d and b/d are
relatively prime. To show this,
let x and y be integers such
that ax + by = d.
Then (a/d)x + (b/d)y = 1, and so gcd
(a/d, b/d) = 1.
Use this to make a proof with more formal statements and
details. You must specifically explain in your proof how (a/d)x +
(b/d)y = 1 implies gcd(a/d, b/d) = 1.