К теореме Нейманов–Шмелькина

Доказано, что если некоторые произведения многообразий групп $V=V_1\dots V_k$ и $V'=V'_1\dots V'_l$ связаны включением $V\subset V'$, то существует многообразие $M$, обладающее двумя разложениями в произведение $M=M_1\dots M_k=M'_1\dots M'_l$, такими, что $V_i\subset M_i$, $i=1,\dots,k$, $M'_j\subset V'_j$, $j=1,\dots,l$.
Библиогр. 3.