“…We have that G is a monolithic group whose socle is an ω-group. We know that F is X ω -saturated by [6;Section 3], where X ω is the class of all simple ω-groups. By Corollary 4.10, Lemma 4.12,it follows that N ω F is ω-saturated and, hence, G ∈ N ω F. Bearing in mind that O ω (G) = 1, we conclude G ∈ bform(F), a contradiction.…”