for p being Element of NAT
for F, G being finite strict Group st card F = p & card G = p & p is prime holds
F,G are_isomorphic