Теорема о свободе для групп с одним определяющим соотношением в многообразии $\mathfrak{R}_c\mathfrak{U}$

Доказывается теорема о свободе для многообразия $\mathfrak{R}_c\mathfrak{U}$, состоящего из групп, являющихся расширениями нильпотентных групп ступени с помощью абелевых.
Библ. 5.