theorem Th55: :: GROUP_22:53

for G being Group
for H1, H2 being Subgroup of G st H1 is Subgroup of H2 holds
for a being Element of G holds H1 |^ a is Subgroup of H2 |^ a