Assertion: abelian group's element | /r/HasProperty | a unit of infinite order
Facets:
Source sentences:
text: The element 1 + x is a unit of infinite order.