Show that:
For every odd prime p and every r \geq 1, the Group (\mathbb{Z}/p^r\mathbb{Z})^{*} (multiplicative group of remainders modulo p^r that are coprime to p) is cyclic.

Hint: Induction on r. You may use the existence of primitive roots modulo primes.