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