当空间X是严格凸的赋范线性空间，则任意指定元素在给定有穷维子空间上的最佳逼近元存在唯一