Assertion: abelian group's property | /r/HasProperty | proved in the sylow theorems
Facets:
Source sentences:
text: This and other properties are proved in the Sylow theorems.