>>310
>b-aとbが互いに素でないとする
>b=(b-a)kと表せる

こう表すと互いに素でも成り立つ　（7と4で　4=7K K=4/7）
普通は
互いに素でない（←→共通な約数を持つ）a.bはa=a'k b=b'kと表す