空集真包含于A交B证明什么?