若两数差为零,则这两个数必相等.