Конечные простые группы, силовская 2-подгруппа которых содержит циклическую подгруппу индекса 16

В статье доказывается следующий основной результат.
Теорема. Пусть $X$ – конечная простая группа с силовской 2-подгруппой $P$. Пусть $P$ имеет циклическую подгруппу индекса 16. Тогда или секционный 2-ранг $X$ не превосходит 4, или $|P|\leqslant2^8$, или $X\cong L_2(32)$.
Использование результатов Горенстейна–Харады (РЖМат, 1975, 5A192), А. С. Кондратьева (РЖМат, 1977, 12A192), Байсигела (РЖМат, 1977, 12A191) и В. Стингла позволяет заключить, что конечные простые группы, силовская 2-подгруппа которых имеет циклическую подгруппу индекса 16, являются известными простыми группами.
Библиография: 24 названия.