Mappings to Vector Space form Vector Space

Theorem
Let $X$ be a nonempty set, and let $V$ be a vector space over a field (or division ring) $K$.

Let $V^X$ denote the set of all mappings from $X$ to $V$.

Let $+$ denote pointwise addition on $V^X$, and let $\circ$ denote pointwise ($K$)-scalar multiplication on $V^X$.

Then $\left({V^X, +, \circ}\right)_K$ is a vector space over $K$.