Assertion: order | /r/CapableOf | divide the order of g.
Facets:
value: more precisely
type: DEGREE
Source sentences:
text: In general, the order of any subgroup of G divides the order of G. More precisely: if H is a subgroup of G, then