Об универсально эквивалентных разрешимых группах

Любая группа, конечно определенная в многообразии разрешимых групп $\mathbf{A}^n$ и универсально эквивалентная свободной группе этого многообразия $F_r(\mathbf{A}^n)$, вкладывается в декартову степень группы $F_2(\mathbf{A}^n)$. Находятся все подгруппы с двумя порождающими из этой декартовой степени, универсально эквивалентные группе $F_2(\mathbf{A}^n)$. Показывается, что свободные разрешимые и нильпотентные группы универсально эквивалентны.