Proof
Suppose that
e
and
f
are units of the semi-group (
S
,*). Then we have
e
=
e
*
f
=
f
.