単位元の一意性
$ e, e'
を
単位元
とすると
二項演算
が定義されている集合に対して
$ ex=xe=x
をみたすようなeのこと
$ e e' = e'e = e
（e'が単位元より）
$ e'e = ee' = e'
（eが単位元より）
なので
$ e = e'