Past exam of the mathematics course of the University of Cambridge / 2019 / ii / Paper 3 / 11I / a / Solution

A primitive root modulo $p$ is an integer $g$ whose residue class generates the multiplicative group of a finite field ${\mathbb{F}}_p^{\times }$. Equivalently, its multiplicative order modulo $p$ is $p-1$, so