theorem :: GROUP_11:61

for G being Group
for N1, N2 being Subgroup of G st N1 is Subgroup of N2 holds
N2 ` N1 c= N1 ` N2