Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Cartan theorems A and B | Statement: [Weierstrass preparation theorem, relatedTo, Cartan theorems A and B]

Target entity: Cartan theorems A and B
Context triple: [Weierstrass preparation theorem, relatedTo, Cartan theorems A and B]

• A. Differential Analysis on Complex Manifolds
  "Differential Analysis on Complex Manifolds" is a foundational mathematical monograph that systematically develops the theory of differential and complex geometry on complex manifolds.
• B. Chern–Weil theory
  Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
• C. Janet–Cartan theorem
  The Janet–Cartan theorem is a fundamental result in differential geometry stating that any real-analytic Riemannian manifold can be locally isometrically embedded into a Euclidean space of sufficiently high dimension.
• D. Atiyah–Bott fixed-point theorem
  The Atiyah–Bott fixed-point theorem is a fundamental result in equivariant cohomology that expresses global invariants, such as indices of elliptic operators, in terms of local data at the fixed points of a group action.
• E. Carathéodory–Jacobi–Lie theorem
  The Carathéodory–Jacobi–Lie theorem is a fundamental result in symplectic geometry and Hamiltonian mechanics that provides canonical local coordinates adapted to a given set of commuting functions.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Cartan theorems A and B
Triple: [Weierstrass preparation theorem, relatedTo, Cartan theorems A and B]

Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.

Target entity: Cartan theorems A and B
Target entity description: Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.

• A. Differential Analysis on Complex Manifolds
  "Differential Analysis on Complex Manifolds" is a foundational mathematical monograph that systematically develops the theory of differential and complex geometry on complex manifolds.
• B. Chern–Weil theory
  Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
• C. Janet–Cartan theorem
  The Janet–Cartan theorem is a fundamental result in differential geometry stating that any real-analytic Riemannian manifold can be locally isometrically embedded into a Euclidean space of sufficiently high dimension.
• D. Atiyah–Bott fixed-point theorem
  The Atiyah–Bott fixed-point theorem is a fundamental result in equivariant cohomology that expresses global invariants, such as indices of elliptic operators, in terms of local data at the fixed points of a group action.
• E. Carathéodory–Jacobi–Lie theorem
  The Carathéodory–Jacobi–Lie theorem is a fundamental result in symplectic geometry and Hamiltonian mechanics that provides canonical local coordinates adapted to a given set of commuting functions.
• F. None of above. chosen