Extended Euclidean Algorithm

GCD with Bézout coefficients