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