theorem Th43: :: GROUP_6:43

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