theorem Th59: :: GROUP_6:59

for G being Group
for N being normal Subgroup of G holds nat_hom N is onto