theorem
  for N being normal Subgroup of G, S being Element of G./.N
  ex a st S = a * N & S = N * a by Th13;
