Assertion: abelian group's element | /r/HasProperty | expressible
Facets:
value: as a sum
type: MANNER
Source sentences:
text: Indeed, each element is expressible as a sum all of whose terms are 1.