Проблема равенства в многообразии групп, содержащем $\mathfrak{N}_{2}\mathfrak{A}$

Пусть $\mathfrak{M}$ — многообразие групп, содержащее $\mathfrak{N}_2\mathfrak{A}$. Доказано, что существует группа, конечно-определенная в многообразии $\mathfrak{M}$, с неразрешимой проблемой равенства.
Следовательно, для любого $n\geqslant 3$ существует группа, конечно-определенная в многообразии групп, разрешимых ступени $n$, с неразрешимой проблемой равенства. Ранее это было доказано В. Н. Ремесленниковым для $n\geqslant 5$ (РЖМат, 1974, 8А230).