Unique Representation in Polynomial Forms/General Result/Corollary

Theorem
Dropping the zero terms from the sum we can write the polynomial $f$ as


 * $f = a_{k_1} \mathbf X^{k_1} + \cdots + a_{k_r} \mathbf X^{k_r}$

for some $a_{k_i}\in R$, $i = 1, \ldots, r$.

Proof
Follows directly from Unique Representation in Polynomial Forms: General Result