a+x=a
aについて成り立つ恒等式だからx=0で終わり
実数も交換法則もクソもない