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: Hensel lifting | Statement: [Theorie der algebraischen Zahlen, associatedWith, Hensel lifting]

Target entity: Hensel lifting
Context triple: [Theorie der algebraischen Zahlen, associatedWith, Hensel lifting]

• A. Hensel’s lemma chosen
  Hensel’s lemma is a fundamental result in number theory and p-adic analysis that allows one to lift solutions of polynomial congruences modulo a prime power to higher powers, analogous to Newton’s method in the p-adic setting.
• B. Henselization
  Henselization is a construction in commutative algebra that minimally modifies a local ring to satisfy Hensel’s lemma, making it “Henselian” while preserving much of its original structure.
• C. Hensel
  Hensel is a German surname most notably associated with mathematician Kurt Hensel, known for introducing p-adic numbers.
• D. Gross–Koblitz formula
  The Gross–Koblitz formula is a result in number theory that expresses Gauss sums in terms of the p-adic gamma function, linking exponential sums over finite fields with p-adic analysis.
• E. Hasse–Arf theorem
  The Hasse–Arf theorem is a fundamental result in algebraic number theory that precisely characterizes the jumps in the ramification filtration of abelian extensions of local fields, showing they occur at integer values.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.