Cartan's criterion for solvability