Assertion: class's element | /r/HasProperty | order p
Facets:
Source sentences:
text: On the other hand, if any non-trivial element in G is of order p , hence by the conclusion above |Z(G)| > 1 , then |Z(G)| = p > 1 or p2.