a)
Angenommen es existiere e', s.d. ae'=a=e'a für alle a∈G, also insbesondere:
e'e=e=ee', aber auch ee'=e'=e'e
damit gilt e=e', also ist jedes Element mit der geforderten Eigenschaft schon das neutrale Element der Gruppe
b)
Angenommen es existiere h', ein weiteres inverses Element, dann gilt:
h'=h'e=h'ah=eh=h, also h'=h