theorem :: GRSOLV_1:7

for G being strict commutative Group holds G is solvable