怎样证明一个集合是空集