Binomial presentation of linear recurring sequences

It is proved that any linear recurring sequence over commutative local Artinian ring $R$ can be presented as a linear combination of binomial sequences over some Galois extension $S$ of $R$. If the roots of the binomial sequences belong to the fixed coordinate set of $S$, then this presentation is unique.