如何证明是闭集