>>428

ありがとうございます。

u, v を V の任意の元とする。

v + 0*v = 1*v + 0*v = (1 + 0)*v = 1*v = v

∴ 0*v = v - v

とできそうだなと一瞬思いましたが、

u + x = v を満たすような V の元 x が一意的に存在することをまず示さなければならないはずです。

それはどうやって示すのでしょうか？