Я так понимаю, что

— это оператор дифференцирования. Для

,

определим линейное пространство над
(считаем

).
Легко проверить, что при

,
(для доказательства надо посмотреть, куда переходят

, и воспользоваться соображениями линейности). Отсюда уже легко следует требуемое (только

).
P. S. Надеюсь, не наврал.
P. P. S. Может, кто-нить ссылку кинет.