Распознаваемость группы $O_{10}^+(2)$ по ее спектру

Доказывается, что если множество порядков элементов некоторой конечной группы $G$ совпадает с множеством порядков элементов группы $D=O_{10}^+(2)$, то группа $G$ изоморфна группе $D$. Другими словами, показано, что конечная простая ортогональная группа $O_{10}^+(2)$ распознаваема по ее спектру.