theorem Th55: :: GROUP_11:55

for G being Group
for N, H being Subgroup of G holds N ` H c= N ~ H