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