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