theorem Th37: :: GROUP_9:37

for O being set
for G being GroupWithOperators of O
for H1, H2 being StableSubgroup of G
for H3 being strict StableSubgroup of G st H1 is StableSubgroup of H3 & H2 is StableSubgroup of H3 holds
H1 "\/" H2 is StableSubgroup of H3