Euclidean algorithm
とおき、ユークリッドの互除法の各過程で得られた formula_22, formula_23, formula_24等を用いて、右辺を計算すれば、左辺のformula_25, formula_26 が求まり、これはベズーの等式