2. Prove Lemma 2.38.

(a) Let * be ord^G(g). Show that (g) equals {g¹, g², ..., g^*}.

(b) Conclude that the size of (g) is less than or equal to *.

(c) Show that the set {g¹, g², ..., g^*} has exactly * many elements.