假设A∪B=B,则A∩B≠A成立
那么,因为A∪B=B,所以A是B的子集.
所以A∩B=A.
这与A∩B≠A矛盾.
所以假设不成立
所以若A∪B=B,则A∩B=A
（矛盾表现在：自相矛盾,看起来好象相当于直接证.）