Assertion: abelian group's subgroup | /r/CapableOf | imply cyclic of prime order
Facets:
Source sentences:
text: Further information: No proper nontrivial subgroup implies cyclic of prime order