Изменения

** '''Доказательство (обратная теорема)'''<br>

Пусть существует k такое, что <math>g^{a\cdot k}=1</math>, и <math>k<p-1</math>. Но <math>g^{p-1}=1</math>, значит <math>g^{a\cdot k}=g^{p-1}</math>. Следовательно либо <math>(a*k) \vdots (p-1)</math>, либо <math>(p-1) \vdots (a*k)</math>. Но по определению первообразного корня, и ord, <math>p-1 \leqslant a*k</math>, то есть <math>(a*k) \vdots (p-1)</math>, а так как НОД<math>(a; p-1)=1</math>, то <math>k \vdots (p-1) \Rightarrow p-1 \leqslant k</math>, что противоречит нашему предположению. Обратная теорема доказана.

'''Доказательство'''<br>

Пусть g - первообразный корень.<br>