若ac-b成立么?