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.

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

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.

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