Cartan criterion for solvability