证明每一个闭集是可数个开集的交集