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: Ado's theorem | Statement: [Lie algebra, hasKeyResult, Ado's theorem]

Target entity: Ado's theorem
Context triple: [Lie algebra, hasKeyResult, Ado's theorem]

• A. Haag’s theorem
  Haag’s theorem is a result in axiomatic quantum field theory showing that the interaction picture cannot be consistently defined for interacting fields in the same Hilbert space as free fields, undermining the standard formulation of quantum field theory.
• B. Gelfand–Naimark theorem
  The Gelfand–Naimark theorem is a foundational result in functional analysis that characterizes C*-algebras as algebras of bounded operators on a Hilbert space (and, in the commutative case, as algebras of continuous functions on a locally compact Hausdorff space).
• C. Wigner–Eckart theorem
  The Wigner–Eckart theorem is a fundamental result in quantum mechanics that factorizes matrix elements of tensor operators into a reduced matrix element and a purely geometric part given by Clebsch–Gordan coefficients, greatly simplifying angular momentum calculations.
• D. Peter–Weyl theorem
  The Peter–Weyl theorem is a fundamental result in representation theory and harmonic analysis that decomposes square-integrable functions on a compact topological group into a direct sum of finite-dimensional irreducible unitary representations.
• E. Schur’s lemma
  Schur’s lemma is a fundamental result in representation theory stating that any homomorphism between irreducible representations is either zero or an isomorphism, and that endomorphisms of an irreducible representation over an algebraically closed field are scalar multiples of the identity.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Ado's theorem
Target entity description: Ado's theorem is a fundamental result in Lie algebra theory stating that every finite-dimensional Lie algebra over a field of characteristic zero can be represented as a Lie algebra of matrices, i.e., it admits a faithful finite-dimensional representation.

• A. Haag’s theorem
  Haag’s theorem is a result in axiomatic quantum field theory showing that the interaction picture cannot be consistently defined for interacting fields in the same Hilbert space as free fields, undermining the standard formulation of quantum field theory.
• B. Gelfand–Naimark theorem
  The Gelfand–Naimark theorem is a foundational result in functional analysis that characterizes C*-algebras as algebras of bounded operators on a Hilbert space (and, in the commutative case, as algebras of continuous functions on a locally compact Hausdorff space).
• C. Wigner–Eckart theorem
  The Wigner–Eckart theorem is a fundamental result in quantum mechanics that factorizes matrix elements of tensor operators into a reduced matrix element and a purely geometric part given by Clebsch–Gordan coefficients, greatly simplifying angular momentum calculations.
• D. Peter–Weyl theorem
  The Peter–Weyl theorem is a fundamental result in representation theory and harmonic analysis that decomposes square-integrable functions on a compact topological group into a direct sum of finite-dimensional irreducible unitary representations.
• E. Schur’s lemma
  Schur’s lemma is a fundamental result in representation theory stating that any homomorphism between irreducible representations is either zero or an isomorphism, and that endomorphisms of an irreducible representation over an algebraically closed field are scalar multiples of the identity.
• F. None of above. chosen