theorem :: GR_CY_1:21

for G being finite strict Group st card G is prime holds
G is cyclic