Theorems from Spans

Every linear combination of a finite set of vectors in a vector space $V$ is an element of $V$.

If $S$ is a subset of a vector space $V$, then $\operatorname{span}(S)$ is a subspace of $V$. It is the smallest subspace of $V$ that contains $S$.