On Cartan's theorem and Cartan's conjecture