Talk:Cartan's theorems A and B