>>596
たしかに・・・ｗ
逆のa+c=b+c⇒a=bは証明できましたが，a=b⇒a+c=b+cは証明できません．
これはアーベル群の定義から導けるのですか？