拡張ユークリッド互除法
$ ax + by = \gcd(a,b)
の整数解
$ (x,y)
の1つを求めるアルゴリズム。