Пусть
1
i
n
i
i
Gp
где
i
p– простые числа,
ij p p для ij Пусть 1
() { },n
Gpp () s G и пусть T– множество некоторых силовских подгрупп группы G, взятых по одной для каждого ()\{} i
p Gs 11. in Доказывает-ся, что если каждая подгруппа из множества Tнормализует неединичную s-подгруппу из G, 3 sто Gимеет разрешимую нормальную подгруппу R и s делит R