Question: How much has been proved by Alexander Grothendieck?
SPARQL (Wikidata): SELECT (COUNT(?sub) AS ?value ) { ?sub wdt:P1318 wd:Q77141 }