Assertion: real number's value | /r/HasProperty | distinct
Facets:
value: from i
type: OTHER
Source sentences:
text: More precisely, once a solution i of the equation has been fixed, the value −i, which is distinct from i, is also a solution.