Polynomial Functions form Submodule of All Functions

Theorem
Let $K$ be a commutative ring with unity.

The set $P \left({K}\right)$ of all polynomial functions on $K$ is a submodule of the $K$-module $K^K$.