Question: What defines finite groups of order p, a prime number, as being necessarily cyclic (abelian) groups Zp?
Sentence: According to Lagrange's theorem, finite groups of order p, a prime number, are necessarily cyclic (abelian) groups Zp.
Answer in sentence: yes