for O being set
for G being GroupWithOperators of O
for N being normal StableSubgroup of G
for H1 being StableSubgroup of G st N is StableSubgroup of H1 holds
N is normal StableSubgroup of H1