加算式a+b=b+aが成り立つことを証明するのってどうしたらいいんでしょうか？
背理法でa+b≠b+aが成り立たないことを証明すると思うんですが、どうしたら成り立たないのか分かりません。
誰か教えて下さい。