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: Cauchy–Kovalevskaya theorem | Statement: [Sofya Vasilyevna Korvin-Krukovskaya, notableWork, Cauchy–Kovalevskaya theorem]

Target entity: Cauchy–Kovalevskaya theorem
Context triple: [Sofya Vasilyevna Korvin-Krukovskaya, notableWork, Cauchy–Kovalevskaya theorem]

• A. Cauchy–Kovalevskaya theorem chosen
  The Cauchy–Kovalevskaya theorem is a fundamental result in partial differential equations that guarantees the existence and uniqueness of analytic solutions to certain initial value problems under appropriate analyticity conditions.
• 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. Mittag-Leffler theorem
  The Mittag-Leffler theorem is a fundamental result in complex analysis that characterizes meromorphic functions by allowing the construction of such functions with prescribed principal parts at given poles.
• D. local existence and uniqueness theorem
  The local existence and uniqueness theorem is a fundamental result in differential equations that guarantees, under suitable conditions, a single solution passing through a given initial point, valid in some neighborhood of that point.
• E. Lectures on Cauchy’s problem in linear partial differential equations
  "Lectures on Cauchy’s Problem in Linear Partial Differential Equations" is a classic mathematical treatise by Jacques Hadamard that systematically develops the theory of existence, uniqueness, and well-posedness for solutions to linear partial differential equations.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.