(a) To prove that an integral domain R is a Bezout domain if and only if every pair of elements a and b which has greatest common divisor d in R can be written as a linear combination of a and b such that for some, .
Let R be an integral domain.
Suppose R is Bezout domain and .
for some d.
We know that, for all and
Also we know that and .