The strongly embedded theorem identifies all Simple Groups with a strongly 2-embedded Subgroup. In particular, it asserts that no Simple Group has a strongly 2-embedded 2'-local Subgroup.
