>>86
a+b=b+a なので a+x=a ⇒ x+a=a+x=a 
aは任意ゆえ、a=0とすると x+0=0
一方任意のaに対し a+0=a なので a=x とすると x+0=x
よって(ここで、a=b ⇒ b=a を仮定している) x=x+0=0