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: Kummer’s criterion for Fermat’s Last Theorem | Statement: [Bernoulli numbers, connectedTo, Kummer’s criterion for Fermat’s Last Theorem]

Target entity: Kummer’s criterion for Fermat’s Last Theorem
Context triple: [Bernoulli numbers, connectedTo, Kummer’s criterion for Fermat’s Last Theorem]

• A. Kummer congruences chosen
  Kummer congruences are number-theoretic relations describing how special values of Bernoulli numbers and related arithmetic functions behave modulo powers of primes, foundational in the study of p-adic L-functions and cyclotomic fields.
• B. Fermat's theorem on sums of two squares
  Fermat's theorem on sums of two squares is a result in number theory stating exactly which prime numbers (and, more generally, which integers) can be expressed as the sum of two perfect squares.
• C. Gauss’s lemma in number theory
  Gauss’s lemma in number theory is a result that relates the Legendre symbol to the number of sign changes in a certain sequence of multiples, providing a practical criterion for determining quadratic residues modulo an odd prime.
• D. Fermat polygonal number theorem
  The Fermat polygonal number theorem is a result in number theory stating that every positive integer can be expressed as a sum of a fixed number of polygonal numbers of a given order.
• E. Faltings' theorem
  Faltings' theorem is a landmark result in arithmetic geometry that proves every algebraic curve of genus greater than one over a number field has only finitely many rational points.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.