О факторизациях подформаций однопорожденных наследственных $\omega$-насыщенных формаций

Произведение $\mathfrak{MH}$ формаций $\mathfrak M$ и $\mathfrak H$ – это класс групп $(G\mid G^\mathfrak H\in\mathfrak M)$. Пусть $\mathfrak{MH}\subseteq\mathfrak F$, где $\mathfrak F=s^\omega\mathrm{form}G$ – однопорожденная наследственная $\omega$-насыщенная формация. Доказано, что если $\mathfrak M$ и $\mathfrak H$ такие формации, что $\mathfrak H\ne\mathfrak{MH}$, то $\mathfrak M$ является разрешимой формацией.