Assertion: ring's subring | /r/HasProperty | unique smallest
Facets:
Source sentences:
text: Every ring has a unique smallest subring, isomorphic to some ring Z/nZ with n