设X是线性赋范空间，X中的单位球是列紧集，则X必为有限维。