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

Доказывается, что если в ассоциативном кольце $R$ с единицей выполняется система $\Gamma$ полилинейных обобщенных тождеств с автоморфизмами и идеал кольца $R$, порожденный значениями обобщенных мономов тождеств из $\Gamma$, равен всему кольцу $R$, то в $R$ выполняется обычное полиномиальное тождество. Из этой теоремы извлекается ряд следствий, касающихся вопросов Латышева–Бьёрка.