theorem
  for N being normal Subgroup of G holds the carrier of G./.N = Cosets N;
