theorem :: GROUP_11:20

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)