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

Доказано, что если $G$ – конечная группа с множеством порядков элементов как у группы $C_p(2)$, где $p$ – простое число и $p>3$, то $G/O_2(G)$ изоморфна $C_p(2)$.