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

Пусть $G$ – конечная группа и $\omega(G)$ – множество порядков ее элементов. Доказывается, что если $\omega(G)=\omega(C_p(3))$, где $p$ – нечетное простое число, то $G\cong C_p(3)$.