Обобщенные преобразования Нильсена и единичность группы

Доказывается, что в многообразии разрешимых нильпотентных групп положительно решается следующая проблема Эндрюса и Кертиса: если $G=\langle x_1,\dots, x_n|r_1,\dots, r_n\rangle$ — единичная группа, то можно ли последовательностью преобразований Нильсена и сопряжениями одного из элементов перевести набор соотношений в набор порождающих. Библ. 3 назв.