2017-05-24 open (\(X,\| \|\))であって\(\mathrm{dim}X<\infty\)なるとき,\(Y\) subspace of \(X\)に対して\[\mathrm{dis}(e,Y)=1\]なる単位ベクトル\(e\)が存在する.