Euclidean algorithm
と は (, ) のベズー係数 (Bézout coefficients) と呼ばれる。それらは一意的ではない。ベズー係数の組は拡張ユークリッドの互除法によって計算できる。 と がどちらも でなければ、拡張ユークリッドの互除法から formula_1 かつ formula_2 であるような 2 つの組の一方が出る。