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: Eilenberg–Zilber theorem | Statement: [Samuel Eilenberg, notableConcept, Eilenberg–Zilber theorem]

Target entity: Eilenberg–Zilber theorem
Context triple: [Samuel Eilenberg, notableConcept, Eilenberg–Zilber theorem]

• A. Grothendieck spectral sequence
  The Grothendieck spectral sequence is a fundamental tool in homological algebra that relates the derived functors of a composite functor to the derived functors of its components, enabling efficient computation of cohomology.
• B. Grothendieck–Riemann–Roch theorem
  The Grothendieck–Riemann–Roch theorem is a fundamental result in algebraic geometry that generalizes the classical Riemann–Roch theorem by relating pushforwards in K-theory to pushforwards in cohomology via characteristic classes.
• C. Hilbert’s syzygy theorem
  Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
• D. Whitney approximation theorem
  The Whitney approximation theorem is a fundamental result in differential topology stating that any continuous function between smooth manifolds can be uniformly approximated by smooth functions.
• E. Freyd–Mitchell embedding theorem
  The Freyd–Mitchell embedding theorem is a fundamental result in category theory stating that every small abelian category can be faithfully represented as a full subcategory of a module category, thereby allowing the use of element-wise methods in abstract settings.
• 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: Eilenberg–Zilber theorem
Triple: [Samuel Eilenberg, notableConcept, Eilenberg–Zilber theorem]

The Eilenberg–Zilber theorem is a fundamental result in algebraic topology that establishes a chain homotopy equivalence between the singular chain complex of a product space and the tensor product of the singular chain complexes of the factors.

Target entity: Eilenberg–Zilber theorem
Target entity description: The Eilenberg–Zilber theorem is a fundamental result in algebraic topology that establishes a chain homotopy equivalence between the singular chain complex of a product space and the tensor product of the singular chain complexes of the factors.

• A. Grothendieck spectral sequence
  The Grothendieck spectral sequence is a fundamental tool in homological algebra that relates the derived functors of a composite functor to the derived functors of its components, enabling efficient computation of cohomology.
• B. Grothendieck–Riemann–Roch theorem
  The Grothendieck–Riemann–Roch theorem is a fundamental result in algebraic geometry that generalizes the classical Riemann–Roch theorem by relating pushforwards in K-theory to pushforwards in cohomology via characteristic classes.
• C. Hilbert’s syzygy theorem
  Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
• D. Whitney approximation theorem
  The Whitney approximation theorem is a fundamental result in differential topology stating that any continuous function between smooth manifolds can be uniformly approximated by smooth functions.
• E. Freyd–Mitchell embedding theorem
  The Freyd–Mitchell embedding theorem is a fundamental result in category theory stating that every small abelian category can be faithfully represented as a full subcategory of a module category, thereby allowing the use of element-wise methods in abstract settings.
• F. None of above. chosen