3-характеризация группы О'Нэна–Симса

Доказывается следующая
Теорема. Пусть $G$ – простая конечная группа$,$ содержащая такую элементарную подгруппу $E$ порядка $9,$ что $C_G(E)=E\times F,$ где $F\simeq L_2(9),$ причем $C_G(e)=C_G(E)$ для всех $e\in E^\sharp$. Тогда $G$ изоморфна простой группе О'Нэна–Симса.
Библиография: 10 названий.