This means that each have order .
Thus, this subgroup cannot contain these elements for then Lagrange's theorem would imply two divides its order.
This means if is a subgroup of of odd order it contains the elements . Thus, it is a subgroup of . But every subgroup of a cyclic group is cyclic. Thus, is cyclic itself.