theorem :: GROUP_4:62

for G being Group
for H1, H2, H3 being Subgroup of G st H1 is Subgroup of H2 holds
H1 is Subgroup of H2 "\/" H3