Обобщенные тождества с обратными переменными в подкольцах артиновых колец

Пусть $R$ — первичное подкольцо с 1 в кольце матриц $D_k$ над телом $D$ при $k\geq1$, центр $C$ кольца $R$ бесконечен и элементы из $C$ лежат в центре кольца $D_k$, $G$ — элементарная абсолютно неприводимая подгруппа в группе $U(R)$ обратимых элементов кольца $R$, в которой выполнено ненулевое обобщенное тождество с обратными переменными $f\in R\langle X,X^{-1}\rangle$. Тогда $R$ — $PI$-кольцо.