a,b,xは任意の実数
a+b=b+a,a+0=aが成り立つとき、a+x=a⇒x=0を証明せよ。

単位元の一意性を示す問題なんですが、どなたかわかりませんか？