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: Harish-Chandra regularity theorem | Statement: [Harish-Chandra character formula, uses, Harish-Chandra regularity theorem]

Target entity: Harish-Chandra regularity theorem
Context triple: [Harish-Chandra character formula, uses, Harish-Chandra regularity theorem]

• A. Harish-Chandra isomorphism
  The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
• B. Harish-Chandra character formula
  The Harish-Chandra character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible admissible representations of real reductive Lie groups.
• C. Plancherel theorem for real reductive groups
  The Plancherel theorem for real reductive groups is a fundamental result in representation theory that describes how square-integrable functions on a real reductive Lie group decompose into irreducible unitary representations, generalizing Fourier analysis to this non-abelian setting.
• D. Borel–Weil theorem
  The Borel–Weil theorem is a fundamental result in representation theory that realizes irreducible representations of compact Lie groups as spaces of holomorphic sections of line bundles over their flag manifolds.
• E. 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.
• 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: Harish-Chandra regularity theorem
Triple: [Harish-Chandra character formula, uses, Harish-Chandra regularity theorem]

The Harish-Chandra regularity theorem is a fundamental result in representation theory that asserts characters of irreducible admissible representations of real reductive Lie groups are given by real-analytic, locally integrable functions on the group.

Target entity: Harish-Chandra regularity theorem
Target entity description: The Harish-Chandra regularity theorem is a fundamental result in representation theory that asserts characters of irreducible admissible representations of real reductive Lie groups are given by real-analytic, locally integrable functions on the group.

• A. Harish-Chandra isomorphism
  The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
• B. Harish-Chandra character formula
  The Harish-Chandra character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible admissible representations of real reductive Lie groups.
• C. Plancherel theorem for real reductive groups
  The Plancherel theorem for real reductive groups is a fundamental result in representation theory that describes how square-integrable functions on a real reductive Lie group decompose into irreducible unitary representations, generalizing Fourier analysis to this non-abelian setting.
• D. Borel–Weil theorem
  The Borel–Weil theorem is a fundamental result in representation theory that realizes irreducible representations of compact Lie groups as spaces of holomorphic sections of line bundles over their flag manifolds.
• E. 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.
• F. None of above. chosen