Assertion: abelian group's element | /r/HasProperty | divisible
Facets:
value: by p.
type: OTHER
Source sentences:
text: One also sees that those p − 1 elements can be chosen freely, so X has |G|p−1 elements, which is divisible by p.