Assertion: group's number | /r/HasAspect | order d
Facets:
Source sentences:
text: If d is a divisor of n, then the number of elements in Z/nZ which have order d is φ(d), and the number of elements whose order divides d is exactly d.