Assertion: order | /r/HasProperty | a divisor of |g|.
Facets:
Source sentences:
text: In particular, the order |a| of any element is a divisor of |G|.