theorem
  for G being strict finite Group st card G = 2 holds G is cyclic Group
  by GR_CY_1:21,INT_2:28;
