怎么用定义严格证明集合的分配律有些课本应该给出了证明过程 注意不用韦恩图