Assertion: abelian group's element | /r/HasAspect | exactly one inverse element
Facets:
Source sentences:
text: There can be only one identity element in a group, and each element in a group has exactly one inverse element.