Exercise

What about the converse? Which of the three statements do you think holds? (Don't try to prove correctness of your answer!)

For each divisor of |G| there is an element of that order in G.

For each prime dividing |G| there is an element of that order in G.

Only the existence of an element of order 1 is guaranteed.