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: Gauss–Wantzel theorem | Statement: [construction of the regular 17-gon with straightedge and compass, isExampleOf, Gauss–Wantzel theorem]

Target entity: Gauss–Wantzel theorem
Context triple: [construction of the regular 17-gon with straightedge and compass, isExampleOf, Gauss–Wantzel theorem]

• A. construction of the regular 17-gon with straightedge and compass chosen
  The construction of the regular 17-gon with straightedge and compass is a classical geometric achievement, first shown possible by Carl Friedrich Gauss, that exemplifies the link between constructible polygons and number theory.
• B. Abel–Ruffini theorem
  The Abel–Ruffini theorem is a fundamental result in algebra proving that there is no general solution in radicals for polynomial equations of degree five or higher.
• C. Kronecker–Weber theorem
  The Kronecker–Weber theorem is a fundamental result in algebraic number theory stating that every finite abelian extension of the rational numbers is contained in a cyclotomic field generated by roots of unity.
• D. 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.
• E. 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.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.