theorem Th43:
  1_(G./.N) = carr N
proof
  reconsider N9 = the multMagma of N as normal Subgroup of G by Lm6;
  1_(G./.N9) = carr N9 by GROUP_6:24;
  hence thesis by Lm34;
end;
