theorem
  for N being normal Subgroup of G holds the multF of G./.N = CosOp N;
