閉区間[0,1]は閉集合の可算直和か.