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: Lewy extension theorem | Statement: [Hans Lewy, theoremNamedAfter, Lewy extension theorem]

Target entity: Lewy extension theorem
Context triple: [Hans Lewy, theoremNamedAfter, Lewy extension theorem]

• A. Whitney extension theorem
  The Whitney extension theorem is a fundamental result in mathematical analysis that characterizes when a function defined on a closed subset of Euclidean space can be extended to a smooth function on the whole space.
• B. Scott–Mazur theorem
  The Scott–Mazur theorem is a result in functional analysis that characterizes when a Banach space is reflexive in terms of the weak compactness of its closed unit ball.
• C. Gel'fand–Kirillov conjecture
  The Gel'fand–Kirillov conjecture is a statement in noncommutative algebra proposing that certain universal enveloping algebras of Lie algebras are birationally equivalent to Weyl algebras, linking their structure to that of algebras of differential operators.
• D. Busemann–Feller theorem
  The Busemann–Feller theorem is a result in geometric measure theory that characterizes when a metric space is geodesic by relating distance properties to the existence of shortest paths between points.
• E. Subspace theorem
  The Subspace theorem is a fundamental result in Diophantine approximation that describes how solutions to certain inequalities involving linear forms over algebraic numbers must lie in a finite union of proper subspaces.
• 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: Lewy extension theorem
Triple: [Hans Lewy, theoremNamedAfter, Lewy extension theorem]

The Lewy extension theorem is a fundamental result in complex analysis and partial differential equations that guarantees the holomorphic extendability of solutions to certain linear PDEs across real-analytic boundaries.

Target entity: Lewy extension theorem
Target entity description: The Lewy extension theorem is a fundamental result in complex analysis and partial differential equations that guarantees the holomorphic extendability of solutions to certain linear PDEs across real-analytic boundaries.

• A. Whitney extension theorem
  The Whitney extension theorem is a fundamental result in mathematical analysis that characterizes when a function defined on a closed subset of Euclidean space can be extended to a smooth function on the whole space.
• B. Scott–Mazur theorem
  The Scott–Mazur theorem is a result in functional analysis that characterizes when a Banach space is reflexive in terms of the weak compactness of its closed unit ball.
• C. Gel'fand–Kirillov conjecture
  The Gel'fand–Kirillov conjecture is a statement in noncommutative algebra proposing that certain universal enveloping algebras of Lie algebras are birationally equivalent to Weyl algebras, linking their structure to that of algebras of differential operators.
• D. Busemann–Feller theorem
  The Busemann–Feller theorem is a result in geometric measure theory that characterizes when a metric space is geodesic by relating distance properties to the existence of shortest paths between points.
• E. Subspace theorem
  The Subspace theorem is a fundamental result in Diophantine approximation that describes how solutions to certain inequalities involving linear forms over algebraic numbers must lie in a finite union of proper subspaces.
• F. None of above. chosen