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