Все рассматриваемые группы конечны. Произведением MH формаций M и H называется класс групп
{ | }. G G ∈H M Пусть , MH F ⊆ где F – наследственная однопорожденная ω -локальная формация и , M H – две не-
единичные формации. Доказано, что если формация MH является разрешимо ω -насыщенной и , H ≠ MH то
M ⊆ N Nω
