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: Banach inverse mapping theorem | Statement: [inverse function theorem, isRelatedTo, Banach inverse mapping theorem]

Target entity: Banach inverse mapping theorem
Context triple: [inverse function theorem, isRelatedTo, Banach inverse mapping theorem]

• A. inverse function theorem
  The inverse function theorem is a fundamental result in calculus and differential geometry that gives conditions under which a differentiable function has a locally defined differentiable inverse near a point where its derivative is invertible.
• B. Banach spaces
  Banach spaces are complete normed vector spaces that provide a fundamental framework for functional analysis and the study of infinite-dimensional linear phenomena.
• C. Cameron–Martin theorem
  The Cameron–Martin theorem is a fundamental result in probability theory and functional analysis that characterizes how Gaussian measures on infinite-dimensional spaces change under shifts by elements of a special Hilbert subspace (the Cameron–Martin space).
• D. Glicksberg fixed-point theorem
  The Glicksberg fixed-point theorem is a result in functional analysis that extends Kakutani’s fixed-point theorem to certain infinite-dimensional or compact convex subsets of locally convex topological vector spaces.
• E. Kakutani fixed-point theorem
  The Kakutani fixed-point theorem is a fundamental result in mathematical analysis and game theory that guarantees the existence of fixed points for certain set-valued (multivalued) functions, underpinning key existence proofs such as Nash equilibria.
• 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: Banach inverse mapping theorem
Triple: [inverse function theorem, isRelatedTo, Banach inverse mapping theorem]

The Banach inverse mapping theorem is a fundamental result in functional analysis stating that a bijective bounded linear operator between Banach spaces has a bounded linear inverse.

Target entity: Banach inverse mapping theorem
Target entity description: The Banach inverse mapping theorem is a fundamental result in functional analysis stating that a bijective bounded linear operator between Banach spaces has a bounded linear inverse.

• A. inverse function theorem
  The inverse function theorem is a fundamental result in calculus and differential geometry that gives conditions under which a differentiable function has a locally defined differentiable inverse near a point where its derivative is invertible.
• B. Banach spaces
  Banach spaces are complete normed vector spaces that provide a fundamental framework for functional analysis and the study of infinite-dimensional linear phenomena.
• C. Cameron–Martin theorem
  The Cameron–Martin theorem is a fundamental result in probability theory and functional analysis that characterizes how Gaussian measures on infinite-dimensional spaces change under shifts by elements of a special Hilbert subspace (the Cameron–Martin space).
• D. Glicksberg fixed-point theorem
  The Glicksberg fixed-point theorem is a result in functional analysis that extends Kakutani’s fixed-point theorem to certain infinite-dimensional or compact convex subsets of locally convex topological vector spaces.
• E. Kakutani fixed-point theorem
  The Kakutani fixed-point theorem is a fundamental result in mathematical analysis and game theory that guarantees the existence of fixed points for certain set-valued (multivalued) functions, underpinning key existence proofs such as Nash equilibria.
• F. None of above. chosen