Talk:Cartan's theorem