theorem Th39: :: GROUP_11:39

for G being Group
for A being non empty Subset of G
for N being Subgroup of G st A c= N ` (N ~ A) holds
N ~ A c= N ~ (N ` (N ~ A))