HW3 Problem 3

Suppose both $e, \bar{e}$ are the identity elements of $S$, then use the definition of identity element for $*$$(e*s=s*e=s)$ to show $e= \bar{e}$ which means an identity element must be unique.