theorem Th35: :: GROUP_11:35

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