>>422
整数 a,b が互いに素 ⇒ ax+by=1 を満たす整数 x,y が存在。
は偽じゃないですか?判例 a=19 b=17