x*e=e*x=xが成り立ってもy*e=e*y=yが成り立つとは限らないジャン
演算が定義されないうちからeが0とか1とか分からないよね？