theorem
  for G being strict finite Group holds card G = 2 implies for H being
  strict Subgroup of G holds H = (1).G or H = G by GR_CY_1:12,INT_2:28;
