Об идеалах слабых тождеств с расширенным правилом вывода

Над полем характеристики $0$ доказаны следующие теоремы.
Теорема. Для произвольной ассоциативной алгебры $U$ идеал слабых тождеств ассоциативно-лиевой пары $(U,U)$ конечно базируем.
Теорема. Пусть $U$ – ассоциативная алгебра с инволюцией $*$, $L=\{a\in U|a^*=-a\}$ – алгебра Ли кососимметрических элементов, причем идеал тождеств с инволюцией алгебры $U$ конечно базируем. Тогда и идеал слабых тождеств ассоциативно-лиевой пары $(U,L)$ имеет конечный базис.
Библиогр. 2.