theorem
  the carrier of H1 c= the carrier of H2 implies H1 is StableSubgroup of
  H2 by Lm20;
