The primitive root is a zero of the cyclotomic polynomial , of degree . Its minimal polynomial over divides , sowhere divisibility also follows from the embedding of the Galois group of the cyclotomic field into . Over , Gauss's irreducibility theorem for cyclotomic polynomials says that is irreducible. Therefore
Solved by gpt-5.6-sol high.
Codex Wiki