Проблема равенства для подмногообразия многообразия $\mathfrak{N}_2\mathfrak{A}$

Рассматриваются многообразия групп или алгебр Ли над полем характеристики $\ne2$. Пусть $\mathfrak{N}_2$, $\mathfrak{A}$ — многообразия всех двуступенно нильпотентных и всех абелевых групп (соответственно алгебр Ли). Доказывается разрешимость проблемы равенства в многообразии $\mathfrak{N}_2\mathfrak{A}$ и во всех его подмногообразиях.