Linear Span is Linear Subspace

Theorem
Let $V$ be a vector space over a division ring $K$.

Let $S \subseteq V$ be a subset of $V$.

Then the linear span $\map \span S$ is a subspace of $V$.