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: Bolzano’s theorem on continuous functions | Statement: [Bernard Bolzano, notableIdea, Bolzano’s theorem on continuous functions]

Target entity: Bolzano’s theorem on continuous functions
Context triple: [Bernard Bolzano, notableIdea, Bolzano’s theorem on continuous functions]

• A. Darboux's law of intermediate values chosen
  Darboux's law of intermediate values is a fundamental theorem in real analysis stating that the image of a continuous function on an interval contains every value between any two of its function values.
• B. Peano existence theorem
  The Peano existence theorem is a fundamental result in the theory of ordinary differential equations that guarantees the existence (but not necessarily uniqueness) of solutions under mild continuity conditions on the right-hand side.
• C. Brouwer fixed-point theorem
  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.
• D. Limb’s Theorem
  Limb’s Theorem is a contemporary dance work by choreographer William Forsythe that exemplifies his deconstructive, concept-driven approach to ballet and movement.
• E. Arzelà–Ascoli theorem
  The Arzelà–Ascoli theorem is a fundamental result in analysis that characterizes the relative compactness of families of functions via uniform boundedness and equicontinuity.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.