こうしたらどうでしょう？
∃e∀g∃h ge=g, gh=e
これならeとして複数考えられたとしてもそのうちの1つのeで>>589の考察が出来ますよ