Mathematicians often strive for a complete classification (or list) of a mathematical notion. What defines finite groups of order p, a prime number, as being necessarily cyclic (abelian) groups Zp?