theorem :: GROUP_3:115

for G being Group
for N1, N2 being strict normal Subgroup of G holds N1 /\ N2 is normal