若两个数的差为0,则这两个数一定相等,