Assertion: integer | /r/HasProperty | written as finite sum
Facets:
Source sentences:
text: It is also a cyclic group, since every non-zero integer can be written as a finite sum 1 + 1 + … + 1 or (−1) +