Cartan Semisimplicity Criterion