Definition:Bézout Coefficients