Riesz’ Lemma

Let $E$ be a normed space, $S\subset E$ a closed proper vector subspace, and . Then there is $x_{\alpha }\in E\setminus S$ such that $\parallel x_{\alpha }\parallel =1$ and $\parallel s-x_{\alpha }\parallel >\alpha$ for every $s\in S$.