至少有一个不为0的否定是什么?