>>598
さらに性懲りもなく >>447 を考え続けています
>>447 ∀g,h ∃x,y gx=h, yg=h
で単位元の存在と一意性を説明できるのでしょうか？私は単位元の存在を >>447 からは証明することができないでいるのです