Биномиальное представление линейных рекуррентных последовательностей

Доказывается, что произвольная линейная рекуррентная последовательность над коммутативным локальным артиновым кольцом $R$ представляется в виде линейной комбинации биномиальных последовательностей над некоторым расширением Галуа $S$ кольца $R$. Если корни биномиальных последовательностей выбирать в фиксированном координатном множестве кольца $S$, то это представление однозначно.