theorem Th48: :: GROUP_9:48

for O being set
for G being GroupWithOperators of O
for N being strict normal StableSubgroup of G holds Ker (nat_hom N) = N