theorem
  ex h being Homomorphism of G./.Ker g,Image g st
    h is bijective & g = h * nat_hom Ker g by Lm3;
