Cartan's theorem