Extended Euclidean Algorithm for Bézout Coefficients