for G being finite Group
for N being normal Subgroup of G st N is Subgroup of center G & G ./. N is cyclic holds
G is commutative