有的A是B等价于有的B是A