Cartan Solvability Criterion