证明集合相等可以用集合彼此是子集

用反证法找矛盾

用集合运算定律