criterion for solvability of a Lie algebra over a characteristic-zero field