theorem GROUP630: :: GROUP_18:2

for G being strict Group
for N being strict normal Subgroup of G st G is commutative holds
G ./. N is commutative