theorem
  the multMagma of H1 is strict Subgroup of G by Lm15;
