Differentiation on Polynomials is Linear Operator

Theorem
Let $\map P \R$ be the vector space of all polynomial functions on the real number line $\R$.

Then the differentiation operator $D$ on $\map P \R$ is a linear operator.

Proof
Proved in Linear Combination of Derivatives.