Assertion: negative | /r/HasProperty | unique
Facets:
Source sentences:
text: The negative of a number is unique, as is shown by the following proof.