集合论证明社A B C是任意集合,证明