gcd(m,n)が最大公約数を求める関数だとして
a, b が一意に定まらないんだけど一体どうしろと？
関係式吐けばいいのか？