Multiplicative Group of Reduced Residues Modulo 7 is Cyclic

Theorem
Let $\struct {Z'_7, \times_7}$ denote the multiplicative group of reduced residues modulo 7.

Then $\struct {Z'_7, \times_7}$ is cyclic.