ax+by=gcd(a,b)
となるx, yが存在する事を証明せよ。