用定理证明两个集合相等