for G being Group
for N being normal Subgroup of G holds Image (nat_hom N) = G ./. N