Question: What did Alexander Grothendieck prove?
SPARQL (Wikidata): select distinct ?answer where { ?answer wdt:P1318 wd:Q77141}