空集是A交B的真子集 怎样得出A交B不是空集的