>>222
（１）任意の実数a,bに対してa+b=b+a
（２）実数0は「任意の実数aに対してa+0=a」を満たす

「任意の実数aに対してa+x=a」とすると0+x=0
（１）よりx+0=0
一方、（２）よりx+0=x
以上よりx=0



・・・・・・・・・と思ったけど「A=BかつA=CならばB=C」という条件を使っちゃったから、これ駄目だね。ざーんねん！