Assertion: abelian group's subgroup | /r/MadeOf | an element of order
Facets:
value: by the inductive hypothesis
type: OTHER
Source sentences:
text: This subgroup contains an element of order p by the inductive hypothesis, and we are done.