theorem Th10: :: GROUP_9:10

for O being set
for G being GroupWithOperators of O holds G is StableSubgroup of G