Let be a generator for with . Since every is of the form for some we have ie. every element in the image of f comes from some , since is one-one we conclude that every element in is of the form which means is cyclic