Assertion: additive identity | /r/HasProperty | the same
Facets:
Source sentences:
text: If the additive identity and the multiplicative identity are the same, then the ring is trivial (proved below).