>>250
一つ目の・はとりあえず無視しといて。
a,bが互いに素なんだから含むだろ。
任意だから色んな値を取るんだろ。決まった値を取るとは限らないから矛盾。