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

Доказана
Теорема. $\mathfrak{R}_c$ и $\mathfrak{A}$ – многообразия лиевых алгебр класса нильпотентности не выше $c$ и абелевых алгебр над полем $k$ характеристики, не равной двум. Тогда любое подмногообразие $\mathfrak{R}_c\mathfrak{A}\wedge\mathfrak{R}_2\mathfrak{R}_c$ конечно-базируемо. Теорема является обобощением результата Брайнта и Воон Ли о том, что всякое многообразие лиевых алгебр, являющихся расширением нильпотентных алгебр класса $2$ при помощи абелевых над полем характеристики, не равной двум, имеет конечный базис тождеств.