Как известно по модулям

,

,

,

, где

простое существуют первообразные корни. Допустим мы возьмем какой-либо другой модуль, не из этих. Тогда первообразных корней не будет и максимальный порядок будет меньше чем

(

- модуль,

- функция Эйлера). Как это доказать и собственно найти этот максимальный порядок.