Re:>755 お前はa*x=bの解の一意性を保証しなくてもいいといった。とりあえず「」の中をそれに書き換えて[>754]の証明を見せてくれ。群という言葉の定義は今の大学生が普通習うものを使ってくれ。

ちなみに、[>754]の7行目の"=b"の部分は要らないな。