Euclidean algorithm
（解の存在） 二つの整数 "m", "n" が互いに素ならば、ユークリッドの互除法により適当な整数 "u", "v" が存在して、