Обобщенно разрешимые группы, факторизуемые подгруппами конечного специального ранга

Доказано, что локально разрешимая или более широко, почти локально гиперабелева, группа $G=G_1G_2$, факторизуемая двумя подгруппами $G_1$ и $G_2$ конечного специального ранга (соответственно, минимаксными погруппами $G_1$ и $G_2$), является группой конечного специального ранга (соответственно, минимаксной группой).