Assertion: group | /r/HasProperty | statement
Facets:
Source sentences:
text: Groups of order p2 can also be shown to be abelian, a statement which does not generalize to order p3, as the non-abelian group D 4 of order 8 = 23 above shows.