b为什么‘x,y中至少有一个小于零’推不出‘X+Y<0’，例如：-1,8‘X+Y<0’则‘x,y中至少有一个小于零’必成立