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