距离空间中的列紧集都是可分的。