for G being Group
for N being strict normal Subgroup of G holds Ker (nat_hom N) = N