ab不等于0的充要条件