>>535
整数a、b、x、yについて　ax+by=1　が成り立つときは
aとb、aとy、xとb、xとy　どの組についてもそれらの2つは互いに素。