如何证明一个数的相反数是唯一的?