Какой-то заскок, похоже. Проверим, является-ли

первообразным корнем по модулю

. Тупо пишем последовательность

по модулю

:

. Видим, что не является. Однако
http://www.research.att.com/~njas/sequences/A046145 уверенно утверждает, что является.
Где ошибка?
Все, понял. Ошибка в словах "Видим, что не является".