for O being set
for G being GroupWithOperators of O
for N being normal StableSubgroup of G holds Image (nat_hom N) = G ./. N