Considere un conjunto finito de vectores en el espacio $\{a_1, a_2, ... , a_n\}$ y el conjunto $E$ de todos los vectores de la forma $x=\sum_{i=1}^{n}{\lambda _i a_i}$ , donde $\lambda _i \in \mathbb{R}^{+}\cup \{0\}$ . Sea $F$ el conjunto que consta de todos los vectores en $E$ y los vectores paralelos a un plano dado $P$ . Pruebe que existe un conjunto de vectores $\{b_1, b_2, ... , b_p\}$ tal que $F$ es el conjunto de todos los vectores $y$ de la forma $y=\sum_{i=1}^{p}{\mu _i b_i}$ , donde $\mu _i \in \mathbb{R}^{+}\cup \{0\}$ .