Распознавание конечных простых групп $F_4(2^m)$ по спектру

Спектр конечной группы – это множество порядков ее элементов. Конечная группа $G$ называется распознаваемой по спектру, если каждая конечная группа с таким же спектром, что и $G$ изоморфна $G$. Цель работы – доказать, что для каждого натурального числа $m$ конечная простая группа Шевалле $F_4(2^m)$ распознаваема по спектру.