Definition:Bezout Domain