>>438
ありがとうございます。

零元の存在が言えたので、零元の一意性、 v = u + x の x の一意性も言えますね。