Конечные группы с $n\Phi$-подгруппами простых порядков

Подгруппа $H$ группы $G$ называется $n\Phi$-подгруппой в $G$, если существует нормальная в $G$ подгруппа $K$ такая, что $G=HK$ и $H\cap K\leqslant \Phi(H)$. Доказано, что любая формация допускает характеризацию некоторыми $n\Phi$-подгруппами простых порядков.