Euclidean algorithm
これらの過程において、formula_17、ユークリッドの互除法により、formula_18であるから、formula_19を考慮すると、