О гиперрадикальных формациях конечных групп

Формация $\mathfrak F$ конечных групп называется гиперрадикальной, если $\mathfrak F$ — нормально наследственная формация и $\mathfrak F$ содержит любую группу $G=\langle A,B\rangle$, где $A$ и $B$ — $\mathfrak F$-субнормальные $\mathfrak F$-подгруппы в $G$. Доказано, что всякая наследственная гиперрадикальная формация конечных групп является решеточной разрешимо насыщенной формацией Фиттинга.