Explanation

• A group of prime order (a group with a prime number of elements) is always a cyclic group.
• This is a fundamental result in group theory, known as Lagrange's theorem.