Assertion: abelian group's element | /r/HasProperty | replaced by any other
Facets:
Source sentences:
text: In Z p for a prime number p , one non-identity element can be replaced by any other, with corresponding changes in the other elements.