Prove that the product of all the incongruent primitive roots of a prime $p$ is congruent to $1 \pmod p$.
We proved this in the previous Exercise (6.4).13.