text: Ключевым шагом является доказательство теоремы Томпсона о единственности, утверждающей, что абелевы подгруппы нормального ранга, не меньшего 3, содержатся в единственной максимальной подгруппе, что означает, что простые числа p, для которых силовские p-подгруппы имеют нормальный ранг, не превосходящий 2, нужно рассматривать отдельно.