Показатели и первообразные корни

Иными словами, нас просят доказать сравнение Возведём его в квадрат: Заметим, что полученное сравнение верно, поскольку Таким образом, кратно НОД скобочек не превосходит двух, поэтому одна из скобочек делится на Предположим, что это первая скобочка, тогда То есть двойка не является первообразным корнем по модулю получили противоречие, так как двойка первообразный корень то есть делится первая, что и требовалось.