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: Brouwer fixed-point theorem | Statement: [Sperner's lemma, usedForProofOf, Brouwer fixed-point theorem]

Target entity: Brouwer fixed-point theorem
Context triple: [Sperner's lemma, usedForProofOf, Brouwer fixed-point theorem]

• A. Brouwer fixed-point theorem chosen
  The Brouwer fixed-point theorem is a fundamental result in topology stating that any continuous function from a compact convex set (such as a closed disk) to itself has at least one fixed point.
• B. Schauder fixed-point theorem
  The Schauder fixed-point theorem is a fundamental result in functional analysis that guarantees the existence of fixed points for continuous compact mappings on convex closed subsets of Banach spaces, generalizing the Brouwer fixed-point theorem to infinite-dimensional settings.
• C. 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.
• D. 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.
• E. Sperner's lemma
  Sperner's lemma is a fundamental result in combinatorial topology that guarantees the existence of a fully labeled simplex in certain labeled triangulations, and is widely used to prove fixed-point and equilibrium theorems.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: usedForProofOf
Context triple: [Sperner's lemma, usedForProofOf, Brouwer fixed-point theorem]

• A. requiresProofOf
  Indicates that one entity must provide formal evidence or documentation to validate or authorize another entity.
• B. usedInProofStyle
  Indicates that one entity is employed as a method, technique, or approach within the proof style or strategy of another entity.
• C. usedFor
  Indicates that one entity serves a purpose, function, or role in accomplishing, enabling, or supporting another entity or activity.
• D. typicalProofUses
  Indicates that a proof characteristically or commonly employs a particular method, technique, or component.
• E. usedAsBasisFor chosen
  Indicates that one entity serves as the foundation, reference, or starting point upon which another entity is developed, derived, justified, or constructed.
• F. None of above.