theorem Th53: :: GROUP_9:53

for O being set
for G being GroupWithOperators of O
for N being normal StableSubgroup of G holds nat_hom N is onto