theorem Th69: :: GROUP_5:69

for G being Group
for N1, N2 being normal Subgroup of G holds [.N1,N2.] = [.N2,N1.]