"a=b=0"的一个必要非充分条件