If G is a finite group whose order is a prime number p, then G is a cyclic group.
Or,
Every group of prime order is cyclic.
Or,
Every group of prime order is abelian.
It is proven that if G is a finite group whose order is a prime number p, then G is a cyclic group. The solution is detailed and well presented.