Нильпотентность и разрешимость в многообразиях групп с операторами

Установлено, что $n$-ступенная нильпотентность свободных $2$-ступенно разрешимых групп из некоторого многообразия групп с операторами влечет $\dfrac{n^s-1}{n-1}$-ступенную нильпотентность $s$-ступенно разрешимых групп этого многообразия.
Библ. 3.