ab=a-b何时成立?