Об $0$-аппроксимируемости ограниченно энгелевых $l$-групп

Для любых элементов $x>e$, $y$ $l$-группы $G$ пусть $M(x,y)$ обозначает подмножество $l$-группы $G$, состоящее из элементов $x\wedge x^{y^{i_1}}\wedge \dots \wedge\dots \wedge x^{y_{i_k}}$, где $k\geqslant 1$, $i_1,i_2,\dots,i_k$ — произвольные целые числа $\geqslant 0$. Доказано, что если в $l$-группе $G$ для любого элемента $u\in M(x,y)$ выполнено соотношение
$$ [u, \underbrace{y, y,\dots, y}_{t}]=e, $$
где $t$ зависит от $x, y$, то $G$ является $0$-аппроксимируемой.