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