If we are done. Otherwise, let then clearly and since it's non-trivial it must be improper. Thus,

That's good!

B)Show G is of prime order

G is cyclic so G is isomorphic to Zn then we know G has subgroups generated by elements that divide order of G. There are only those 2 so order G is only divisible by 1 and itself so n is prime