Квазимногообразие, порождённое почти абелевой группой без кручения

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