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

An integer $b$ is a primitive root modulo $n$ when it is coprime to $n$ and its residue class generates the multiplicative group of integers modulo n. Equivalently,