О некоммутативных инвариантах биалгебр

Пусть $H$ – биалгебра над полем $C$; $R=C\langle V\rangle$ – тензорная алгебра $C$-пространства $V$, наделенная структурой $H$-модульной алгебры так, что $V$ есть подмодуль $H$-модуля $R$; $R^H$ – алгебра $H$-инвариантов; $W$ (носитель алгебры $R^H$) – наименьшее подпространство $C$-пространства $V$ такое, что $R^H\subseteq C\langle W\rangle$.
Основной результат работы – это следующая
Теорема. Если алгебра $H$-инвариантов $R^H$ конечно-порождена, то носитель алгебры $R^H$ есть конечномерный подмодуль $H$-модуля $V$, элементы которого являются $H$-полуинвариантами одного веса.