http://dbpedia.org/resource/Kashiwara_index_theorem
data from the linked data cloud