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: 伊藤の補題 | Statement: [伊藤 清, 主要概念, 伊藤の補題]

Target entity: 伊藤の補題
Context triple: [伊藤 清, 主要概念, 伊藤の補題]

• A. Kantei
  Kantei is the official office and residence complex of Japan’s Prime Minister, serving as the central hub of the country’s executive government.
• B. Seitu
  Seitu is a personal care and cosmetics brand owned by the Mexican direct-selling company Grupo Omnilife.
• C. Itsuka
  Itsuka is a novel by Joy Kogawa that continues the story of Japanese Canadians grappling with the legacy of wartime internment and the struggle for redress.
• D. Ritto
  Ritto is a city in Shiga Prefecture, Japan, known for its location along major transportation routes between Kyoto and Nagoya.
• E. Itsa
  Itsa is a town in Egypt located within the Faiyum Governorate, known primarily as a local agricultural and administrative center.
• 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: 伊藤の補題
Triple: [伊藤 清, 主要概念, 伊藤の補題]

伊藤の補題は、確率積分を含む関数の微分を扱うための確率解析における基本的な公式であり、特にブラウン運動に対する関数の変換則を与える中心的な結果である。

Target entity: 伊藤の補題
Target entity description: 伊藤の補題は、確率積分を含む関数の微分を扱うための確率解析における基本的な公式であり、特にブラウン運動に対する関数の変換則を与える中心的な結果である。

• A. Kantei
  Kantei is the official office and residence complex of Japan’s Prime Minister, serving as the central hub of the country’s executive government.
• B. Seitu
  Seitu is a personal care and cosmetics brand owned by the Mexican direct-selling company Grupo Omnilife.
• C. Itsuka
  Itsuka is a novel by Joy Kogawa that continues the story of Japanese Canadians grappling with the legacy of wartime internment and the struggle for redress.
• D. Ritto
  Ritto is a city in Shiga Prefecture, Japan, known for its location along major transportation routes between Kyoto and Nagoya.
• E. Itsa
  Itsa is a town in Egypt located within the Faiyum Governorate, known primarily as a local agricultural and administrative center.
• F. None of above. chosen