为什么“a+b不等于0”不是“使a,b中至少有一个不是0“的充要条件?