>>510
>ge = eg = e を導きだす >>505 の推論
ge=eg=ｇね？それが分からない
もちろん
ge=eg=gなら単位元の一意性は通常の証明です