theorem LM204D: :: GROUP_18:11

for G being Group
for H, K being normal Subgroup of G st the carrier of H /\ the carrier of K = {(1_ G)} holds
(nat_hom H) | the carrier of K is one-to-one