Распознаваемость по спектру групп ${}^2D_p(3)$ для нечетного простого числа $p$

Доказано, что конечная группа с таким же множеством порядков элементов, как у простой группы ${}^2D_p(3)$, где $p$ – нечетное простое число, изоморфна ${}^2D_p(3)$.