Assertion: ring's ideal | /r/HasProperty | whole ring
Facets:
Source sentences:
text: Any ring has two ideals, namely the zero ideal {0} and R, the whole ring.