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: geometric Hahn–Banach theorem | Statement: [Hahn–Banach theorem, hasVersion, geometric Hahn–Banach theorem]

Target entity: geometric Hahn–Banach theorem
Context triple: [Hahn–Banach theorem, hasVersion, geometric Hahn–Banach theorem]

• A. Hahn–Banach theorem chosen
  The Hahn–Banach theorem is a fundamental result in functional analysis that guarantees the extension of bounded linear functionals from a subspace to the whole space without increasing their norm.
• B. Krein–Milman theorem
  The Krein–Milman theorem is a fundamental result in functional analysis and convex geometry stating that a compact convex set in a locally convex topological vector space is the closed convex hull of its extreme points.
• C. Banach–Mazur theorem
  The Banach–Mazur theorem is a fundamental result in functional analysis that characterizes separable Banach spaces as isometrically isomorphic to closed subspaces of spaces of continuous functions on compact metric spaces.
• D. Banach–Alaoglu theorem
  The Banach–Alaoglu theorem is a fundamental result in functional analysis stating that the closed unit ball in the dual of a normed space is compact in the weak-* topology.
• E. Riesz lemma
  Riesz lemma is a fundamental result in functional analysis that characterizes how, in an infinite-dimensional normed space, one can find unit vectors that stay a fixed distance away from any given proper closed subspace.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.