theorem
  for F,G being strict finite Group st card F = 2 & card G = 2 holds F,G
  are_isomorphic by Th18,INT_2:28;
