Об одном свойстве наследственных насыщенных решеточных формаций

Пусть $\mathfrak{F}$ – наследственная насыщенная решеточная формация. Доказывается, что если для каждой силовской подгруппы $P$ конечной группы $G$ и любой максимальной подгруппы $V$ из $P$ существует такая $\mathfrak{F}$-подгруппа $T$, что $VT=G$, то $G\in\mathfrak{F}$. В статье решаются проблемы 19.87 и 19.88 из “Коуровской тетради”.