theorem Th59:
  for N being normal Subgroup of G holds nat_hom N is onto
proof
  let N be normal Subgroup of G;
  Image nat_hom N = G./.N by Th48;
  hence thesis by Th57;
end;
