Proposition (The span of vectors is a subspace)

If $V$ is a vector space, and $v_1,...,v_k\in V$, then $span(v_1,...,v_k)$ is a subspace of $V$, and is the smallest subspace containing the vectors $v_1,..,v_k$.