Assertion: order | /r/HasProperty | a power of a prime p if
Facets:
Source sentences:
text: The consequences of the theorem include: the order of a group G is a power of a prime p if and only if ord(a) is some power of p for every a in G.