 Then formula_16 is again an ideal of formula_1, and it is solvable because it is an extension of formula_18 by formula_13.Now consider the sum of all the solvable ideals of formula_1.It is nonempty since formula_21 is a solvable ideal, and it is a solvable ideal by the sum property just derived.