アーベル群(F,+)において，方程式
　b+x=a　（b,x,a∈F）
が解x=a+(-b)を持つことは示せたのですが，この解がこの方程式の一意的な解
であることを示すにはどうすればよいのでしょうか？