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