theorem :: GROUP_11:24

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