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: Atkinson theorem | Statement: [Fredholm operator, relatedTo, Atkinson theorem]

Target entity: Atkinson theorem
Context triple: [Fredholm operator, relatedTo, Atkinson theorem]

• A. Aitken’s Law
  Aitken’s Law is a phonological rule in Scots and Scottish English that governs when vowels are pronounced long or short depending on their phonetic and morphological environment.
• B. Łoś's theorem
  Łoś's theorem is a fundamental result in model theory that characterizes the truth of first-order formulas in ultraproducts by showing they hold exactly when they are true in "almost all" component structures.
• C. Atkinson
  Atkinson is the surname of British comedian and actor Rowan Atkinson, best known for creating and portraying the character Mr. Bean.
• D. Page theorem
  The Page theorem is a result in quantum information theory and black hole physics that predicts how the entanglement entropy of a subsystem typically evolves, underpinning the characteristic "Page curve" behavior in discussions of the black hole information paradox.
• E. Kluge's law
  Kluge's law is a proposed sound law in Proto-Germanic historical linguistics that explains the development of certain geminate consonants from earlier consonant clusters.
• 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: Atkinson theorem
Triple: [Fredholm operator, relatedTo, Atkinson theorem]

Atkinson theorem is a fundamental result in functional analysis that characterizes Fredholm operators as precisely those bounded linear operators that are invertible modulo compact operators.

Target entity: Atkinson theorem
Target entity description: Atkinson theorem is a fundamental result in functional analysis that characterizes Fredholm operators as precisely those bounded linear operators that are invertible modulo compact operators.

• A. Aitken’s Law
  Aitken’s Law is a phonological rule in Scots and Scottish English that governs when vowels are pronounced long or short depending on their phonetic and morphological environment.
• B. Łoś's theorem
  Łoś's theorem is a fundamental result in model theory that characterizes the truth of first-order formulas in ultraproducts by showing they hold exactly when they are true in "almost all" component structures.
• C. Atkinson
  Atkinson is the surname of British comedian and actor Rowan Atkinson, best known for creating and portraying the character Mr. Bean.
• D. Page theorem
  The Page theorem is a result in quantum information theory and black hole physics that predicts how the entanglement entropy of a subsystem typically evolves, underpinning the characteristic "Page curve" behavior in discussions of the black hole information paradox.
• E. Kluge's law
  Kluge's law is a proposed sound law in Proto-Germanic historical linguistics that explains the development of certain geminate consonants from earlier consonant clusters.
• F. None of above. chosen