Assertion: abelian group's subgroup | /r/HasProperty | poincare's theorem
Facets:
Source sentences:
text: A related result, that does not prove the subgroup itself is normal, but that it contains another large enough normal subgroup: Poincare's theorem, which states that any subgroup of index contains a normal subgroup of index dividing .