theorem
  B is empty implies the_stable_subgroup_of B = (1).G by Lm24;
