Assertion: abelian group's element | /r/HasProperty | the product
Facets:
Source sentences:
text: Every element of O(n) is the product of at most n reflections.