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