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: Dirichlet’s theorem on arithmetic progressions | Statement: [Bateman–Horn conjecture, generalizes, Dirichlet’s theorem on arithmetic progressions]

Target entity: Dirichlet’s theorem on arithmetic progressions
Context triple: [Bateman–Horn conjecture, generalizes, Dirichlet’s theorem on arithmetic progressions]

• A. Dirichlet's theorem on arithmetic progressions chosen
  Dirichlet's theorem on arithmetic progressions is a fundamental result in number theory stating that any arithmetic progression with first term and difference coprime contains infinitely many prime numbers.
• B. Linnik’s theorem on the least prime in an arithmetic progression
  Linnik’s theorem on the least prime in an arithmetic progression is a result in analytic number theory that gives an explicit upper bound, depending only on the modulus, for the size of the smallest prime in any given coprime residue class.
• C. Piatetski-Shapiro prime number theorem
  The Piatetski-Shapiro prime number theorem is a result in analytic number theory that establishes the existence of infinitely many primes among the values of certain non-integer power sequences, such as ⌊n^c⌋ for suitable real exponents c.
• D. Vinogradov's three-primes theorem
  Vinogradov's three-primes theorem is a landmark result in analytic number theory proving that every sufficiently large odd integer can be expressed as the sum of three prime numbers.
• E. Über die Anzahl der Primzahlen unter einer gegebenen Grösse
  Über die Anzahl der Primzahlen unter einer gegebenen Grösse is Bernhard Riemann’s seminal 1859 paper that introduced the Riemann zeta function and laid the foundations of analytic number theory, including the famous Riemann Hypothesis.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.