Assertion: simple group | /r/HasProperty | z/pz.
Facets:
Source sentences:
text: If p is a prime number, then any group with p elements is isomorphic to the simple group Z/pZ.