theorem
  the multMagma of N is strict normal Subgroup of G by Lm6;
