for G being strict commutative Group holds G is solvable