Характеризация знакопеременных групп

Доказывается, что группа $G$, порождённая классом $X$ сопряжённых элементов порядка 3 таким, что любые два неперестановочных элемента из $X$ порождают подгруппу, изоморфную знакопеременной группе степени 4 или 5, локально конечна. Более точно, $G$ либо содержит нормальную элементарную 2-подгруппу индекса 3, либо изоморфна знакопеременной группе подстановок некоторого (возможно, бесконечного) множества.