theorem :: GROUP_11:44

for G being Group
for A being non empty Subset of G
for N, N1, N2 being Subgroup of G st N = N1 /\ N2 holds
N ~ A c= (N1 ~ A) /\ (N2 ~ A)