Квазимногообразие, порождённое свободными метабелевыми и 2-нильпотентными группами

Пусть $qG$ – это квазимногообразие, порождённое группой $G$, $\mathcal{N}$ – неабелево квазимногообразие групп с конечной решёткой подквазимногообразий. Предположим, что $\mathcal N$ содержится в квазимногообразии, порождённом следующими двумя группами: свободной 2-нильпотентной группой $F_2(\mathcal N_2)$ ранга 2 и свободной метабелевой (т. е. с абелевым коммутантом) группой $F_2(\mathcal A^2)$ ранга 2. Доказывается, что в этом случае либо $\mathcal N= q F_2(\mathcal N_2)$, либо $\mathcal N=q F_2(\mathcal A^2)$.