Wiki. “Cartan 定理 A, B” [Cartan定理A,B]