is integrable by quadratures [1] (for details, see also [2, 3]). More precisely, all of its solutions can be found by “algebraic operations” (including inversion of functions) and “quadratures,” that is, computation of integrals of known functions of one variable. This definition has a local nature. The algebra g generates an n-dimensional solvable Lie group G that acts freely on R. Relations (1) imply that the transformations in G take the trajectories of system (2) to trajectories of the same system. In other words, the solvable group G “permutes” the trajectories of the differential equation (2). Lie treated his theorem as an analog of Galois theory for ordinary differential equations. However, there is a more natural analog of Galois theory, namely, Picard–Vessiot theory, which studies extensions of differential fields by solutions of linear differential equations (e.g., see [4]). Nevertheless, the Lie theorem is one of the key results in the problem of closed-form integrability of nonlinear differential equations. It suffices to note that, in the simplest case, this theorem readily implies the well-known Liouville theorem on the integrability of Hamiltonian differential equations with a complete set of independent first integrals in involution [3]. The following assertion is the main result of the present paper.