>>33
(1)右単位元 eR の存在 ∀x∈G [x eR＝x]
(2)左単位元 eL の存在 ∀x∈G [eL x＝x]
(1)から eL eR＝eL, (2)から eL eR＝eR ∴ eL＝eR
別の右単位元 eR' があっても同じ論法で eL＝eR' ∴ eR'＝eR
別の左単位元 eL' があっても同じ論法で eL'＝eR ∴ eL'＝eL