> ａ、ｂ を、（素数とは限らないが）互いに素だとする。
> 　　ａｘ＋ｂｙ＝１
> を満たす整数 ｘ，ｙ が存在する。
これは証明済みとみなして使っていいの？