Group whose order is a power of a prime contains an element of order prime

I don't know how to go about this. So the group has elements and I have to somehow use cosets or Langrage's theorem, but I really don't understand much of this. And I can't use Cauchy's Theorem, it uses concepts I haven't covered yet. Any help would be appreciated.

Edit: So I know by Lagrange's theorem that the order of a subgroup of must divide the order of , so given , the cyclic subgroup has order that divides . At this part, I'm stuck.

So since $p$ is prime, the order of is either or some power of , say . If , then we're done, so assume that . So an element has order if is the smallest positive integer with the property that .

Now generates a cyclic subgroup of that consists of elements, each of which is a power of .

So let be an element in where is a positive integer and . Now generates a subgroup of , and the order of must divide . Now since , is there some value of such that ?

Check out the section on cyclic subgroups in Artin's Algebra. There is a proposition that talks about the GCD of the order of a group and the order of an element in the group. makes the rest of the proof a snap.

Assume If the order of is , then and so the element has order since , and since is prime, the claim follows. Now if the order of is not , then it's order must divide , since the order of must be an element of . So let . Then . Then has order . Q.E.D.

In fact there are at least p-1 such elements. One of my favorite proofs in algebra is McKay's proof of Cauchy's theorem, which is outlined in Dummit and Foote:

Consider the set S of p-tuples of elements in G whose product is the identity: . Note there are of these, since we can choose the first p-1 elements however we like, then choose the last to be the inverse of their product.

Next show that the cyclic group acts on the set of p-tuples by cyclic permutation, i.e. if the action of 1 on a p-tuple is to shift every entry one place to the right, and move the last entry into the first place, then the product of the elements remains the identity.

Now by the orbit-stabilizer theorem, the size of each orbit under this action divides p, so every orbit has size 1 or p, and the union of all orbits is the set S. Since p divides |S|, the number of size-1 orbits is divisible by p. A size-1 orbit is one that is unchanged by cyclic permutations, i.e. a p-tuple consisting of just one element: (g, g, ..., g). If there's a tuple like that, it means , and so if g is not the identity, then |g|=p as desired. But there has to be a nonidentity element like that, since (1, 1, ..., 1) is in S, and so there are at least (p-1) more with orbit size 1.