>>949
aは考えている群の任意の元です。
e1とe2が単位元とする。
その群の任意の元aに対して
a*e1=a=a*e2
だから左からaの逆元をかけてe1=e2
という感じになるのでしょうか。
教科書とかだとe1=e1*e2=e2として示していますが
私の証明は正しいのでしょうか。