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: Janet–Cartan theorem | Statement: [Nash embedding theorem, relatedTo, Janet–Cartan theorem]

Target entity: Janet–Cartan theorem
Context triple: [Nash embedding theorem, relatedTo, Janet–Cartan theorem]

• A. Nash embedding theorem
  The Nash embedding theorem is a fundamental result in differential geometry that shows any Riemannian manifold can be isometrically embedded into some Euclidean space, thereby realizing abstract curved spaces as concrete subsets of standard Euclidean space.
• B. Feynman–Kac formula
  The Feynman–Kac formula is a fundamental result connecting solutions of certain partial differential equations with expectations over stochastic processes, forming a bridge between quantum mechanics, probability theory, and mathematical finance.
• C. Feynman–Hellmann theorem
  The Feynman–Hellmann theorem is a result in quantum mechanics that relates the derivative of an energy eigenvalue with respect to a parameter in the Hamiltonian to the expectation value of the corresponding derivative of the Hamiltonian.
• D. Hilbert spaces
  Hilbert spaces are complete inner product spaces that provide the fundamental framework for modern functional analysis and many areas of mathematical physics.
• E. Differential analyzer
  The Differential Analyzer is an early analog mechanical computer designed to solve differential equations using interconnected rotating shafts and wheels.
• 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: Janet–Cartan theorem
Triple: [Nash embedding theorem, relatedTo, Janet–Cartan theorem]

The Janet–Cartan theorem is a fundamental result in differential geometry stating that any real-analytic Riemannian manifold can be locally isometrically embedded into a Euclidean space of sufficiently high dimension.

Target entity: Janet–Cartan theorem
Target entity description: The Janet–Cartan theorem is a fundamental result in differential geometry stating that any real-analytic Riemannian manifold can be locally isometrically embedded into a Euclidean space of sufficiently high dimension.

• A. Nash embedding theorem
  The Nash embedding theorem is a fundamental result in differential geometry that shows any Riemannian manifold can be isometrically embedded into some Euclidean space, thereby realizing abstract curved spaces as concrete subsets of standard Euclidean space.
• B. Feynman–Kac formula
  The Feynman–Kac formula is a fundamental result connecting solutions of certain partial differential equations with expectations over stochastic processes, forming a bridge between quantum mechanics, probability theory, and mathematical finance.
• C. Feynman–Hellmann theorem
  The Feynman–Hellmann theorem is a result in quantum mechanics that relates the derivative of an energy eigenvalue with respect to a parameter in the Hamiltonian to the expectation value of the corresponding derivative of the Hamiltonian.
• D. Hilbert spaces
  Hilbert spaces are complete inner product spaces that provide the fundamental framework for modern functional analysis and many areas of mathematical physics.
• E. Heavenly Gondola
  Heavenly Gondola is a scenic aerial tramway at Heavenly Mountain Resort that transports visitors between South Lake Tahoe and the resort’s mountain slopes, offering panoramic views of the lake and surrounding Sierra Nevada.
• F. None of above. chosen