Теорема о представлении функций через ряды полиномов

Доказываются леммы, устанавливающие свять между разностями функций и производными различных порядков от этих же функций в метрике обобщенного пространства Лебега $\overline L_p(\square n)$, а также вводится класс $S_p^{\overline r}\overline HA_{\overrightarrow\beta}^{(\overrightarrow\alpha)}(\square n)$, для которого получена теорема представления через ряды алгебраических полиномов, удовлетворяющих определенным условиям.